Communication Dans Un Congrès
Année : 2002
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03299487
Soumis le : lundi 26 juillet 2021-14:49:06
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03299487 , version 1
Citer
Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani. Bounded Model Checking for Timed Systems. 22nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'02), 2002, Houston, United States. pp.243-259. ⟨hal-03299487⟩
Collections
11
Consultations
0
Téléchargements