Sciweavers

IFM
2010
Springer

Verification Architectures: Compositional Reasoning for Real-Time Systems

13 years 11 months ago
Verification Architectures: Compositional Reasoning for Real-Time Systems
Johannes Faber
Added 27 Jan 2011
Updated 27 Jan 2011
Type Journal
Year 2010
Where IFM
Authors Johannes Faber
Comments (0)