-
1Compositional Verification of Concurrent and Real-Time Systems [electronic resource] / Compositional Verification of Concurrent and Real-Time Systems [electronic resource] /by Juan, Eric Y. T. author., Tsai, Jeffrey J. P. author., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
2Compositional Verification of Concurrent and Real-Time Systems [electronic resource] / Compositional Verification of Concurrent and Real-Time Systems [electronic resource] /by Juan, Eric Y. T. author., Tsai, Jeffrey J. P. author., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS