scientific article; zbMATH DE number 2080053
From MaRDI portal
Publication:4472243
zbMath1043.68569MaRDI QIDQ4472243
Vineet Kahlon, E. Allen Emerson
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800251.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems ⋮ Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy ⋮ Finding cut-offs in leaderless rendez-vous protocols is easy ⋮ Multi-parameterised compositional verification of safety properties ⋮ Verification of parametric concurrent systems with prioritised FIFO resource management ⋮ Automated formal analysis and verification: an overview ⋮ Parameterised verification for multi-agent systems
This page was built for publication: