Kresic D, Hielscher KS, German R (2010)
Publication Type: Other publication type
Publication year: 2010
Book Volume: CS-2010,5
Pages Range: 11
Journal Issue: CS-2010-05
URI: http://www.opus.ub.uni-erlangen.de/opus/frontdoor.php?source_opus=2353
APA:
Kresic, D., Hielscher, K.-S., & German, R. (2010). Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL.
MLA:
Kresic, Dario, Kai-Steffen Hielscher, and Reinhard German. Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL. 2010.
BibTeX: Download