%0 Conference Paper %1 conf/kes/SzpyrkaK11 %A Szpyrka, Marcin %A Kotulski, Leszek %B KES (1) %D 2011 %E König, Andreas %E Dengel, Andreas %E Hinkelmann, Knut %E Kise, Koichi %E Howlett, Robert J. %E Jain, Lakhmi C. %I Springer %K dblp %P 190-199 %T Snapshot Reachability Graphs for Alvis Models. %U http://dblp.uni-trier.de/db/conf/kes/kes2011-1.html#SzpyrkaK11 %V 6881 %@ 978-3-642-23850-5

@inproceedings{conf/kes/SzpyrkaK11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Szpyrka, Marcin and Kotulski, Leszek}, biburl = {https://www.bibsonomy.org/bibtex/21cc6c9b8fcc40fb3e182c9b7bd9ee3d4/dblp}, booktitle = {KES (1)}, crossref = {conf/kes/2011-1}, editor = {König, Andreas and Dengel, Andreas and Hinkelmann, Knut and Kise, Koichi and Howlett, Robert J. and Jain, Lakhmi C.}, ee = {https://doi.org/10.1007/978-3-642-23851-2_20}, interhash = {c6f3b26842736a2f4bf82a0d1b78f399}, intrahash = {1cc6c9b8fcc40fb3e182c9b7bd9ee3d4}, isbn = {978-3-642-23850-5}, keywords = {dblp}, pages = {190-199}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-14T11:44:41.000+0200}, title = {Snapshot Reachability Graphs for Alvis Models.}, url = {http://dblp.uni-trier.de/db/conf/kes/kes2011-1.html#SzpyrkaK11}, volume = 6881, year = 2011 }