Book Chapter10.1007/978-3-662-04558-9_16
KRONOS — Model Checking of Real-time Systems
Béatrice Bérard,Michel Bidoit,Alain Finkel,François Laroussinie,Antoine Petit,Laure Petrucci+2 more-2001-01-01
1
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
AutomatonComputer scienceThe InternetModel checkingOperating systemTheoretical computer science
Chat
Click to start Chat