Sciweavers

Share
FASE
2005
Springer

Automated Compositional Proofs for Real-Time Systems

10 years 9 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where FASE
Authors Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
Comments (0)
books