Items where authors include "Wißmann, T."

Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 1.

Article

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (2 more authors) (2018) A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 14 (1). ISSN 1860-5974

This list was generated on Mon Apr 15 01:29:47 2024 BST.