Improving state class constructions for CTL* model checking of time Petri nets

✍ Scribed by Rachid Hadjidj; Hanifa Boucheneb

• Publisher: Springer
• Year: 2007
• Tongue: English
• Weight: 725 KB
• Volume: 10
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s10009-007-0040-3