Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems

Book title Buchtitel

Publisher Herausgeber

Inst. f. Verkehrssicherheit und Automatisierungstechnik

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Volcic, Mark ; Blieberger, Johann ; Schöbel, Andreas	Kronecker Algebra based Travel Time Analysis for Railway Systems	Konferenzbeitrag Inproceedings	2012