%0 Generic %1 vdpol %A van de Pol, J.C. %D 2006 %K imported %T Algorithms for model checking -- lecture notes. Technische Universiteit Eindhoven

@misc{vdpol, added-at = {2009-09-04T16:30:19.000+0200}, author = {van de Pol, J.C.}, biburl = {https://www.bibsonomy.org/bibtex/2c22370f4ddfa07dc58c688f5e0ca48a2/reinierpost}, interhash = {84a162eb927b70e63e84197f8f0b7ba9}, intrahash = {c22370f4ddfa07dc58c688f5e0ca48a2}, keywords = {imported}, optlocation = {Reinier Post (reinpost@win.tue.nl)}, optnote = {exported from refbase (http://www.win.tue.nl/{\textasciitilde}rp/refbase/show.php?record=56), last updated on Fri, 04 Sep 2009 12:10:56 +0200}, timestamp = {2009-09-04T16:30:20.000+0200}, title = {Algorithms for model checking -- lecture notes. Technische Universiteit Eindhoven}, year = 2006 }