Portada

Compositional Verification of Concurrent and Real-Time Systems

SPRINGER
04 / 2002
9781402070259
978-14-0207-025-9
Inglés
The Springer International Series in Engineering and Computer Science
Ingles