CONCUR 2004 - Concurrency Theory
From MaRDI portal
Publication:5311473
DOI10.1007/b100113zbMath1099.94521MaRDI QIDQ5311473
Liana Bozga, Yassine Lakhneche, Cristian Ene
Publication date: 23 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100113
Related Items
Modeling and Verifying Time Sensitive Security Protocols with Constraints, Constraint Abstraction in Verification of Security Protocols