Roggenbach, Markus
Roggenbach, Markus, 19..-....
VIAF ID: 29151715598213781506 ( Personal )
Permalink: http://viaf.org/viaf/29151715598213781506
Preferred Forms
-
- 100 1 _ ‡a Roggenbach, Markus
- 100 1 _ ‡a Roggenbach, Markus
- 100 1 _ ‡a Roggenbach, Markus, ‡d 19..-....
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Algebra and coalgebra in computer science : proceedings | |
Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday | |
Formal Methods for Software Engineering : Languages, Methods, Application Domains | |
Institution-based Semantics and Tool Support for the UML. | |
Modélisation de la configuration automatique dans des systèmes auto-adaptatifs basés sur l'architecture | |
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers | |
Sémantique et outils institutionnels pour le UML |