Items where Author is "Preibusch, Soeren"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Preibusch, Soeren and Kammueller, Florian (2008) Checking the TWIN elevator system by translating object-Z to SMV. Lecture Notes in Computer Science, 4916 . pp. 38-55. ISSN 0302-9743

This list was generated on Tue Jul 29 19:54:20 2014 IST.