BibTeX
@inproceedings{DBLP:conf/ecrts/MaderW99,
author = {Angelika Mader and
Hanno Wupper},
title = {Timed automaton models for simple programmable logic controllers},
booktitle = {ECRTS},
year = {1999},
pages = {106-113},
ee = {http://dx.doi.org/10.1109/EMRTS.1999.777456},
crossref = {DBLP:conf/ecrts/1999},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecrts/1999,
title = {11th Euromicro Conference on Real-Time Systems (ECRTS 1999),
9-11 June 1999, York, England, UK, Proceedings},
booktitle = {ECRTS},
publisher = {IEEE Computer Society},
year = {1999},
isbn = {0-7695-0240-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-12-17 by Michael Ley (ley@uni-trier.de)