%0 Journal Article %1 journals/tosem/MorzentiP94 %A Morzenti, Angelo %A Pietro, Pierluigi San %D 1994 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 1 %P 56-98 %T Object-Oriented Logical Specification of Time-Critical Systems. %U http://dblp.uni-trier.de/db/journals/tosem/tosem3.html#MorzentiP94 %V 3

@article{journals/tosem/MorzentiP94, added-at = {2018-11-06T00:00:00.000+0100}, author = {Morzenti, Angelo and Pietro, Pierluigi San}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2870661294cefaaffa56aabecdef9cac7/dblp}, ee = {https://doi.org/10.1145/174634.174636}, interhash = {b64cb50826a1f39a8fe177acabc4b2d5}, intrahash = {870661294cefaaffa56aabecdef9cac7}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 1, pages = {56-98}, timestamp = {2019-09-27T10:43:21.000+0200}, title = {Object-Oriented Logical Specification of Time-Critical Systems.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem3.html#MorzentiP94}, volume = 3, year = 1994 }