@inproceedings{conf/napaw/Brim92,
  author = {Brim, Lubos},
  booktitle = {NAPAW},
  crossref = {conf/napaw/1992},
  date = {2003-02-25},
  editor = {Purushothaman, S. and Zwarico, Amy E.},
  interhash = {b6bdb5a8553aadc12033a2d07e2cd264},
  intrahash = {c4d5d2e412bf714c55fbdf5d6cad5fc0},
  isbn = {3-540-19822-9},
  pages = {13-26},
  publisher = {Springer},
  series = {Workshops in Computing},
  title = {Modal Logics in Timed Process Algebras.},
  url = {http://dblp.uni-trier.de/db/conf/napaw/napaw1992.html#Brim92},
  year = 1992
}

{"_id":"mBMa2tCy2wSRAouwJ","bibbaseid":"brim-modallogicsintimedprocessalgebras-1992","downloads":0,"creationDate":"2017-04-26T09:41:24.189Z","title":"Modal Logics in Timed Process Algebras.","author_short":["Brim, L."],"year":1992,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Lubos Brim?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]}],"booktitle":"NAPAW","crossref":"conf/napaw/1992","date":"2003-02-25","editor":[{"propositions":[],"lastnames":["Purushothaman"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Zwarico"],"firstnames":["Amy","E."],"suffixes":[]}],"interhash":"b6bdb5a8553aadc12033a2d07e2cd264","intrahash":"c4d5d2e412bf714c55fbdf5d6cad5fc0","isbn":"3-540-19822-9","pages":"13-26","publisher":"Springer","series":"Workshops in Computing","title":"Modal Logics in Timed Process Algebras.","url":"http://dblp.uni-trier.de/db/conf/napaw/napaw1992.html#Brim92","year":"1992","bibtex":"@inproceedings{conf/napaw/Brim92,\n author = {Brim, Lubos},\n booktitle = {NAPAW},\n crossref = {conf/napaw/1992},\n date = {2003-02-25},\n editor = {Purushothaman, S. and Zwarico, Amy E.},\n interhash = {b6bdb5a8553aadc12033a2d07e2cd264},\n intrahash = {c4d5d2e412bf714c55fbdf5d6cad5fc0},\n isbn = {3-540-19822-9},\n pages = {13-26},\n publisher = {Springer},\n series = {Workshops in Computing},\n title = {Modal Logics in Timed Process Algebras.},\n url = {http://dblp.uni-trier.de/db/conf/napaw/napaw1992.html#Brim92},\n year = 1992\n}\n\n","author_short":["Brim, L."],"editor_short":["Purushothaman, S.","Zwarico, A. E."],"key":"conf/napaw/Brim92","id":"conf/napaw/Brim92","bibbaseid":"brim-modallogicsintimedprocessalgebras-1992","role":"author","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/napaw/napaw1992.html#Brim92"},"downloads":0},"search_terms":["modal","logics","timed","process","algebras","brim"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}