[Lecture Notes in Computer Science] FM 2008: Formal Methods Volume 5014 || A Model Checking Language for Concurrent Value-Passing Systems

✍ Scribed by Cuellar, Jorge; Maibaum, Tom; Sere, Kaisa

• Book ID: 111942985
• Publisher: Springer Berlin Heidelberg
• Year: 2008
• Weight: 583 KB
• Category: Article
• ISBN: 3540682376
• DOI: 10.1007/978-3-540-68237-0_12