Moon Ho Hwang. Qualitative verification of finite and real-time DEVS networks. In Gabriel Andrés Wainer, Pieter J. Mosterman, editors, 2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium. pages 43, SCS/ACM, 2012. [doi]
@inproceedings{Hwang12,
title = {Qualitative verification of finite and real-time DEVS networks},
author = {Moon Ho Hwang},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2346659},
researchr = {https://researchr.org/publication/Hwang12},
cites = {0},
citedby = {0},
pages = {43},
booktitle = {2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium},
editor = {Gabriel Andrés Wainer and Pieter J. Mosterman},
publisher = {SCS/ACM},
isbn = {978-1-61839-786-7},
}