@book{DBLP:books/daglib/0030759,
  author    = {Michael Fisher},
  title     = {An Introduction to Practical Formal Methods Using Temporal Logic},
  publisher = {Wiley},
  year      = {2011},
  url       = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470027886.html},
  isbn      = {978-0-470-02788-2},
  timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0030759},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"PMjoSTcqhpNGQCxpr","bibbaseid":"fisher-anintroductiontopracticalformalmethodsusingtemporallogic-2011","downloads":0,"creationDate":"2016-05-26T11:21:07.897Z","title":"An Introduction to Practical Formal Methods Using Temporal Logic","author_short":["Fisher, M."],"year":2011,"bibtype":"book","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"book","type":"book","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"An Introduction to Practical Formal Methods Using Temporal Logic","publisher":"Wiley","year":"2011","url":"http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470027886.html","isbn":"978-0-470-02788-2","timestamp":"Tue, 20 Feb 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/books/daglib/0030759","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@book{DBLP:books/daglib/0030759,\n author = {Michael Fisher},\n title = {An Introduction to Practical Formal Methods Using Temporal Logic},\n publisher = {Wiley},\n year = {2011},\n url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470027886.html},\n isbn = {978-0-470-02788-2},\n timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/books/daglib/0030759},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fisher, M."],"key":"DBLP:books/daglib/0030759","id":"DBLP:books/daglib/0030759","bibbaseid":"fisher-anintroductiontopracticalformalmethodsusingtemporallogic-2011","role":"author","urls":{"Paper":"http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470027886.html"},"downloads":0,"html":""},"search_terms":["introduction","practical","formal","methods","using","temporal","logic","fisher"],"keywords":["dblp"],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}