Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/apn/LewisL01
%A Lewis, Glenn
%A Lakos, Charles
%B ICATPN
%D 2001
%E Colom, José Manuel
%E Koutny, Maciej
%I Springer
%K dblp
%P 263-282
%T Incremental State Space Construction for Coloured Petri Nets.
%U http://dblp.uni-trier.de/db/conf/apn/icatpn2001.html#LewisL01
%V 2075
%@ 3-540-42252-8
@inproceedings{conf/apn/LewisL01,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Lewis, Glenn and Lakos, Charles},
biburl = {https://www.bibsonomy.org/bibtex/2b9af4cfe70f2c6d83291c4fd5b5473d1/dblp},
booktitle = {ICATPN},
crossref = {conf/apn/2001},
editor = {Colom, José Manuel and Koutny, Maciej},
ee = {https://doi.org/10.1007/3-540-45740-2_16},
interhash = {a2fba17cff0f23464b1bb1dc7416147b},
intrahash = {b9af4cfe70f2c6d83291c4fd5b5473d1},
isbn = {3-540-42252-8},
keywords = {dblp},
pages = {263-282},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T15:59:05.000+0200},
title = {Incremental State Space Construction for Coloured Petri Nets.},
url = {http://dblp.uni-trier.de/db/conf/apn/icatpn2001.html#LewisL01},
volume = 2075,
year = 2001
}