Documents dont l'auteur est "Dubslaff, Clemens"

Pour citer ou exporter
Nombre de documents: 1

Éditeur ou éditrice

Marsso, L., Mateescu, R., Muller, L., & Serwe, W. (avril 2022). Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing [Communication écrite]. 5th Workshop on Models for Formal Analysis of Real Systems (MARS 2022), Munich, Germany. Publié dans Electronic Proceedings in Theoretical Computer Science, 355. Lien externe

Liste produite: Sun Oct 18 07:57:46 2026 EDT.