Conference Papers
Year : 2001
Jean-Claude Royer : Connect in order to contact the contributor
https://hal.science/hal-01135657
Submitted on : Wednesday, March 25, 2015-4:02:23 PM
Last modification on : Wednesday, April 27, 2022-4:18:09 AM
Dates and versions
Identifiers
- HAL Id : hal-01135657 , version 1
Cite
Jean-Claude Royer. Formal Specification and Temporal Proof Techniques for Mixed Systems. Workshop FMPPTA at IPDPS 2001 Symposium, 2001, San Fransisco, United States. ⟨hal-01135657⟩
Collections
19
View
0
Download