Legay, A., & Bensalem, S. (2013). Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Berlin, Heidelberg: Springer.
ISBD ZitierstilRuntime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem . — Berlin, Heidelberg : Springer, 2013. — Online-Ressource (XVII, 426 p. 113 illus, online resource). — (Lecture notes in computer science ; 8174). — ISBN 9783642407871
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.