Verifying automata specification of distributed probabilistic real-time systems
From MaRDI portal
Publication:1273079
DOI10.1007/BF02946502zbMath0911.68146MaRDI QIDQ1273079
Tiegeng Luo, Zhenghu Gong, Ji Wang, Zhichang Qi, Huowang Chen, Bingshan Wang
Publication date: 2 March 1999
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
deterministic timed automata; distributed probabilistic real-time systems; real-time probabilistic process model
68Q45: Formal languages and automata
Cites Work