Minimizable timed automata

被引：0
|
作者：
Springintveld, J.
Vaandrager, F.
机构：
来源：
Lecture Notes in Computer Science | / 1135卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Calculus for timed automata
    D'Argenio, P.R.
    Brinksma, E.
    1996, (1135)
  • [32] Shrinking Timed Automata
    Sankur, Ocan
    Bouyer, Patricia
    Markey, Nicolas
    IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2011), 2011, 13 : 90 - 102
  • [33] Alternating timed automata
    Lasota, Slawomir
    Walukiewicz, Igor
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (02)
  • [34] Timed Automata Patterns
    Dong, Jin Song
    Hao, Ping
    Qin, Shengchao
    Sun, Jun
    Yi, Wang
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2008, 34 (06) : 844 - 859
  • [35] Axiomatising timed automata
    Lin, HM
    Yi, W
    ACTA INFORMATICA, 2002, 38 (04) : 277 - 305
  • [36] Timed automata and recognizability
    Hermann, P
    INFORMATION PROCESSING LETTERS, 1998, 65 (06) : 313 - 318
  • [37] Formalized Timed Automata
    Wimmer, Simon
    INTERACTIVE THEOREM PROVING (ITP 2016), 2016, 9807 : 425 - 440
  • [38] Controlled timed automata
    Demichelis, F
    Zielonka, W
    CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 455 - 469
  • [39] A THEORY OF TIMED AUTOMATA
    ALUR, R
    DILL, DL
    THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) : 183 - 235
  • [40] Scheduling with timed automata
    Abdeddaïm, Y
    Asarin, E
    Maler, O
    THEORETICAL COMPUTER SCIENCE, 2006, 354 (02) : 272 - 300
12345