Skip to Main content Skip to Navigation
Conference papers

Bounded Model Checking for Timed Systems

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03299487
Contributor : Fabien Delorme <>
Submitted on : Monday, July 26, 2021 - 2:49:06 PM
Last modification on : Thursday, September 9, 2021 - 3:10:41 PM

Identifiers

  • HAL Id : hal-03299487, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

3