
Verkehr / Safety Analysis & Verification
SEG9
+49 441 9722-538
OFFIS
Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)
2011 Research in Applied Computation Symposium
Clark, Brian; Stierand, Ingo; Thaden, Eike
2011