%0 Book %1 318754 %A Feijen, W. H. J. %A van Gasteren, A. J. M. %C New York, NY, USA %D 1999 %I Springer-Verlag New York, Inc. %K distributed synthesis verification %T On a method of multiprogramming %@ 0-387-98870-X

@book{318754, added-at = {2010-02-03T15:23:43.000+0100}, address = {New York, NY, USA}, author = {Feijen, W. H. J. and van Gasteren, A. J. M.}, biburl = {https://www.bibsonomy.org/bibtex/2cf931310fb26b2b72cb0ce9add18d1c9/giuliano.losa}, interhash = {c1011e3cdbd07b99e8e29014ed144dc8}, intrahash = {cf931310fb26b2b72cb0ce9add18d1c9}, isbn = {0-387-98870-X}, keywords = {distributed synthesis verification}, publisher = {Springer-Verlag New York, Inc.}, timestamp = {2010-02-03T15:23:43.000+0100}, title = {On a method of multiprogramming}, year = 1999 }