@InProceedings{FHNSPV11,
  author = 	 {J. Fisher and T.A. Henzinger and D. Nickovic and A.V. Singh and N. Piterman and M.Y. Vardi},
  title = 	 {Dynamic Reactive Modules},
  booktitle = {22nd International Conference on Concurrency Theory},
  pages = 	 {404-418},
  year = 	 {2011},
  volume = 	 {6901},
  series = 	 {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},
  publisher = {&copy; Springer-Verlag},
  url_Paper = {2011/FHNSPV11.pdf},
  keywords = {Executable Biology},
}

{"_id":"JXadHpR9S3xzJyedQ","bibbaseid":"fisher-henzinger-nickovic-singh-piterman-vardi-dynamicreactivemodules-2011","author_short":["Fisher, J.","Henzinger, T.","Nickovic, D.","Singh, A.","Piterman, N.","Vardi, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["J."],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["T.A."],"propositions":[],"lastnames":["Henzinger"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Nickovic"],"suffixes":[]},{"firstnames":["A.V."],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Piterman"],"suffixes":[]},{"firstnames":["M.Y."],"propositions":[],"lastnames":["Vardi"],"suffixes":[]}],"title":"Dynamic Reactive Modules","booktitle":"22nd International Conference on Concurrency Theory","pages":"404-418","year":"2011","volume":"6901","series":"<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>","publisher":"&copy; Springer-Verlag","url_paper":"2011/FHNSPV11.pdf","keywords":"Executable Biology","bibtex":"@InProceedings{FHNSPV11,\n author = \t {J. Fisher and T.A. Henzinger and D. Nickovic and A.V. Singh and N. Piterman and M.Y. Vardi},\n title = \t {Dynamic Reactive Modules},\n booktitle = {22nd International Conference on Concurrency Theory},\n pages = \t {404-418},\n year = \t {2011},\n volume = \t {6901},\n series = \t {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},\n publisher = {&copy; Springer-Verlag},\n url_Paper = {2011/FHNSPV11.pdf},\n keywords = {Executable Biology},\n}\n\n","author_short":["Fisher, J.","Henzinger, T.","Nickovic, D.","Singh, A.","Piterman, N.","Vardi, M."],"key":"FHNSPV11","id":"FHNSPV11","bibbaseid":"fisher-henzinger-nickovic-singh-piterman-vardi-dynamicreactivemodules-2011","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~piterman/publications/2011/FHNSPV11.pdf"},"keyword":["Executable Biology"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.cse.chalmers.se/~piterman/publications/publications.bib","dataSources":["dBCbAowrXBj8Z9xpg"],"keywords":["executable biology"],"search_terms":["dynamic","reactive","modules","fisher","henzinger","nickovic","singh","piterman","vardi"],"title":"Dynamic Reactive Modules","year":2011}