Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Antje Rumberg

Transition Semantics for Branching Time

Journal of Logic, Language and Information

Computer Science

English