Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules

• Autores: Eric Y. T. Juan, Jeffrey J. P. Tsai
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 20, Nº 5, 1998, págs. 917-979
• Idioma: inglés
• Texto completo no disponible (Saber más ...)