%0 Conference Paper %1 conf/spin/GeldenhuysH06 %A Geldenhuys, Jaco %A Hansen, Henri %B SPIN %D 2006 %E Valmari, Antti %I Springer %K dblp %P 53-70 %T Larger Automata and Less Work for LTL Model Checking. %U http://dblp.uni-trier.de/db/conf/spin/spin2006.html#GeldenhuysH06 %V 3925 %@ 3-540-33102-6

@inproceedings{conf/spin/GeldenhuysH06, added-at = {2017-06-05T00:00:00.000+0200}, author = {Geldenhuys, Jaco and Hansen, Henri}, biburl = {https://www.bibsonomy.org/bibtex/25afd110f44522a735e56a6118cc0dae5/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2006}, editor = {Valmari, Antti}, ee = {https://doi.org/10.1007/11691617_4}, interhash = {1b7d7289ca1dee83daae3605915e4456}, intrahash = {5afd110f44522a735e56a6118cc0dae5}, isbn = {3-540-33102-6}, keywords = {dblp}, pages = {53-70}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:05:46.000+0200}, title = {Larger Automata and Less Work for LTL Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2006.html#GeldenhuysH06}, volume = 3925, year = 2006 }