%0 Book %1 books/daglib/0071311 %A Davies, Jim %B Distinguished dissertations in computer science %D 1993 %I Cambridge University Press %K dblp %P I-XVII, 1-180 %T Specification and proof in real-time CSP. %V 6 %@ 978-0-521-45055-3

@book{books/daglib/0071311, added-at = {2019-07-18T00:00:00.000+0200}, author = {Davies, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2d8042bcf1ba128ee9f73eb75cd30afa7/dblp}, interhash = {d6a97d4422e77f187479ba01ba851a0a}, intrahash = {d8042bcf1ba128ee9f73eb75cd30afa7}, isbn = {978-0-521-45055-3}, keywords = {dblp}, pages = {I-XVII, 1-180}, publisher = {Cambridge University Press}, series = {Distinguished dissertations in computer science}, timestamp = {2019-07-19T11:38:39.000+0200}, title = {Specification and proof in real-time CSP.}, volume = 6, year = 1993 }