The following publications are possibly variants of this publication:
- Model Checking Linear Duration Invariants of Networks of AutomataMiaomiao Zhang, Zhiming Liu, Naijun Zhan. fsen 2010: 244-259 [doi]
- Verification of Linear Duration Invariants by Model Checking CTL PropertiesMiaomiao Zhang, Dang Van Hung, Zhiming Liu. ictac 2008: 395-409 [doi]
- Time-bounded model checking of infinite-state continuous-time Markov chainsLijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter. acsd 2008: 98-107 [doi]
- Time-Bounded Model Checking of Infinite-State Continuous-Time Markov ChainsErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. FUIN, 95(1):129-155, 2009. [doi]