An approach for machine-assisted verification of Timed CSP specifications

✍ Scribed by Thomas Göthel; Sabine Glesner

• Book ID: 106573699
• Publisher: Springer
• Year: 2010
• Tongue: English
• Weight: 843 KB
• Volume: 6
• Category: Article
• ISSN: 1614-5046
• DOI: 10.1007/s11334-010-0126-z