Items where Author is "Quesel, Jan-David"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Journal Article
Number of items: 1.
Journal Article
Faber, Johannes and Linker, Sven and Quesel, Jan-David and Olderog, Ernst-Rüdiger (2011) Syspect : Modelling, specifying, and verifying real-time systems with rich data. International Journal of Software and Informatics, 5 (1-2). pp. 117-137. ISSN 1673-7288