%0 Conference Paper %1 conf/rex/Wood91 %A Wood, William G. %B REX Workshop %D 1991 %E de Bakker, J. W. %E Huizing, Cornelis %E de Roever, Willem P. %E Rozenberg, Grzegorz %I Springer %K dblp %P 676-686 %T A Specification of the Cat and Mouse Problem. %U http://dblp.uni-trier.de/db/conf/rex/rex91.html#Wood91 %V 600 %@ 3-540-55564-1

@inproceedings{conf/rex/Wood91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Wood, William G.}, biburl = {https://www.bibsonomy.org/bibtex/2357fe9899ce0712c105938ddc8fd5660/dblp}, booktitle = {REX Workshop}, crossref = {conf/rex/1991}, editor = {de Bakker, J. W. and Huizing, Cornelis and de Roever, Willem P. and Rozenberg, Grzegorz}, ee = {https://doi.org/10.1007/BFb0032012}, interhash = {ec7a9a22300f1e77de9a78a01e9495d1}, intrahash = {357fe9899ce0712c105938ddc8fd5660}, isbn = {3-540-55564-1}, keywords = {dblp}, pages = {676-686}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:24:13.000+0200}, title = {A Specification of the Cat and Mouse Problem.}, url = {http://dblp.uni-trier.de/db/conf/rex/rex91.html#Wood91}, volume = 600, year = 1991 }