%0 Book Section %1 books/crc/tucker97/BowenH97 %A Bowen, Jonathan P. %A Hinchey, Michael G. %B The Computer Science and Engineering Handbook %D 1997 %E Tucker, Allen B. %I CRC Press %K dblp %P 2302-2322 %T Formal Models and the Specification Process. %U http://dblp.uni-trier.de/db/books/collections/tucker97.html#BowenH97 %@ 0-8493-2909-4

@incollection{books/crc/tucker97/BowenH97, added-at = {2015-06-03T00:00:00.000+0200}, author = {Bowen, Jonathan P. and Hinchey, Michael G.}, biburl = {https://www.bibsonomy.org/bibtex/22a7e8d0fef859f45484ab845515c41b9/dblp}, booktitle = {The Computer Science and Engineering Handbook}, crossref = {books/crc/tucker1997}, editor = {Tucker, Allen B.}, interhash = {c2b632c29b4f3dc980b31e4563ba1bdd}, intrahash = {2a7e8d0fef859f45484ab845515c41b9}, isbn = {0-8493-2909-4}, keywords = {dblp}, pages = {2302-2322}, publisher = {CRC Press}, timestamp = {2015-06-20T16:19:08.000+0200}, title = {Formal Models and the Specification Process.}, url = {http://dblp.uni-trier.de/db/books/collections/tucker97.html#BowenH97}, year = 1997 }