%0 Journal Article %1 journals/acta/MannaP93 %A Manna, Zohar %A Pnueli, Amir %D 1993 %J Acta Inf. %K dblp %N 7 %P 609-678 %T Models for Reactivity. %U http://dblp.uni-trier.de/db/journals/acta/acta30.html#MannaP93 %V 30

@article{journals/acta/MannaP93, added-at = {2011-01-11T00:00:00.000+0100}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2d5cf0a8b07951c3ca23c44fd5cb2e331/dblp}, ee = {http://dx.doi.org/10.1007/BF01191722}, interhash = {61169268785446c350caf793150a470d}, intrahash = {d5cf0a8b07951c3ca23c44fd5cb2e331}, journal = {Acta Inf.}, keywords = {dblp}, number = 7, pages = {609-678}, timestamp = {2011-01-12T11:33:20.000+0100}, title = {Models for Reactivity.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta30.html#MannaP93}, volume = 30, year = 1993 }