%0 Conference Paper %1 conf/forte/RobinsonS03 %A Robinson, Peter J. %A Shankland, Carron %B FORTE %D 2003 %E König, Hartmut %E Heiner, Monika %E Wolisz, Adam %I Springer %K dblp %P 144-159 %T Combating Infinite State Using Ergo. %U http://dblp.uni-trier.de/db/conf/forte/forte2003.html#RobinsonS03 %V 2767 %@ 3-540-20175-0

@inproceedings{conf/forte/RobinsonS03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Robinson, Peter J. and Shankland, Carron}, biburl = {https://www.bibsonomy.org/bibtex/2e2b8d7246374341559ee6274a850e23e/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2003}, editor = {König, Hartmut and Heiner, Monika and Wolisz, Adam}, ee = {https://doi.org/10.1007/978-3-540-39979-7_10}, interhash = {4cc9f4adfdd92900691f32a1a946f7f3}, intrahash = {e2b8d7246374341559ee6274a850e23e}, isbn = {3-540-20175-0}, keywords = {dblp}, pages = {144-159}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:59:08.000+0200}, title = {Combating Infinite State Using Ergo.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2003.html#RobinsonS03}, volume = 2767, year = 2003 }