Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns. Modeling of Networked Automation Systems for simulation and model checking of time behavior. In International Multi-Conference on Systems, Signals & Devices, SSD 2012, Chemnitz, Germany, March 20-23, 2012. pages 1-5, IEEE, 2012. [doi]
@inproceedings{Vogel-HeuserFFL12,
title = {Modeling of Networked Automation Systems for simulation and model checking of time behavior},
author = {Birgit Vogel-Heuser and Jens Folmer and Georg Frey and Liu Liu and Holger Hermanns and Arnd Hartmanns},
year = {2012},
doi = {10.1109/SSD.2012.6197943},
url = {https://doi.org/10.1109/SSD.2012.6197943},
researchr = {https://researchr.org/publication/Vogel-HeuserFFL12},
cites = {0},
citedby = {0},
pages = {1-5},
booktitle = {International Multi-Conference on Systems, Signals & Devices, SSD 2012, Chemnitz, Germany, March 20-23, 2012},
publisher = {IEEE},
isbn = {978-1-4673-1590-6},
}