Kronos: A model-checking tool for real-time systems
Lecture notes in computer science1998pp. 546–550
Citations Over TimeTop 1% of 1998 papers
Related Papers
- → STKVS: secure technique for keyframes-based video summarization model(2024)7 cited
- Study and Two Types of Typical Usage of DataGrid Web Server Control(2005)
- Using DataGrid Control to Realize DataBase of Querying in VB6.0(2000)
- Susquehanna Chorale Spring Concert "Roots and Wings"(2017)
- → ИСПОЛЬЗОВAНИЕ ПОТЕНЦИAЛA СОЦИAЛЬНЫХ ПAРТНЕРОВ В ПОДГОТОВКЕ БУДУЩИХ ПЕДAГОГОВ(2024)