%0 Book %1 books/cu/RoeverBH2001 %A de Roever, Willem P. %A de Boer, Frank S. %A Hannemann, Ulrich %A Hooman, Jozef %A Lakhnech, Yassine %A Poel, Mannes %A Zwiers, Job %B Cambridge Tracts in Theoretical Computer Science %D 2001 %I Cambridge University Press %K dblp %T Concurrency Verification: Introduction to Compositional and Noncompositional Methods %V 54 %@ 0-521-80608-9

@book{books/cu/RoeverBH2001, added-at = {2007-04-20T00:00:00.000+0200}, author = {de Roever, Willem P. and de Boer, Frank S. and Hannemann, Ulrich and Hooman, Jozef and Lakhnech, Yassine and Poel, Mannes and Zwiers, Job}, biburl = {https://www.bibsonomy.org/bibtex/25182d0db31cbd8738fcaa4714745a7c9/dblp}, date = {2007-04-20}, description = {dblp}, interhash = {c0ffa736b746212fb2b57b42cf0dbc1d}, intrahash = {5182d0db31cbd8738fcaa4714745a7c9}, isbn = {0-521-80608-9}, keywords = {dblp}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science}, timestamp = {2007-06-15T08:15:13.000+0200}, title = {Concurrency Verification: Introduction to Compositional and Noncompositional Methods}, volume = 54, year = 2001 }