Bernd Pfitzinger, Tommy Baumann, Thomas Jestädt. Analysis and Evaluation of the German Toll System Using a Holistic Executable Specification. In 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui, HI, USA. pages 5632-5638, IEEE Computer Society, 2012. [doi]
No reviews for this publication, yet.