%0 Journal Article %1 journals/toplas/MorzentiMG92 %A Morzenti, Angelo %A Mandrioli, Dino %A Ghezzi, Carlo %D 1992 %J ACM Trans. Program. Lang. Syst. %K dblp %N 4 %P 521-573 %T A Model Parametric Real-Time Logic. %U http://dblp.uni-trier.de/db/journals/toplas/toplas14.html#MorzentiMG92 %V 14

@article{journals/toplas/MorzentiMG92, added-at = {2018-11-06T00:00:00.000+0100}, author = {Morzenti, Angelo and Mandrioli, Dino and Ghezzi, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/21257e9e78f8d9c0e31d69c1c215ea749/dblp}, ee = {https://doi.org/10.1145/133233.129397}, interhash = {42fa1a1e6f10f837d5d9fe77c95eaeca}, intrahash = {1257e9e78f8d9c0e31d69c1c215ea749}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 4, pages = {521-573}, timestamp = {2018-11-07T12:36:06.000+0100}, title = {A Model Parametric Real-Time Logic.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas14.html#MorzentiMG92}, volume = 14, year = 1992 }