An experience in proving regular networks of processes by modular model checking

✍ Scribed by Nicolas Halbwachs; Fabienne Lagnier; Christophe Ratel

• Book ID: 105109036
• Publisher: Springer-Verlag
• Year: 1992
• Tongue: English
• Weight: 1002 KB
• Volume: 29
• Category: Article
• ISSN: 0001-5903
• DOI: 10.1007/bf01185559