@inproceedings{conf/tools/Mandrioli92a,
title = {Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach.},
author = {Dino Mandrioli},
booktitle = {TOOLS (8)},
crossref = {conf/tools/8-1992},
editor = {Raimund K. Ege and Madhu S. Singh and Bertrand Meyer},
pages = {277},
publisher = {Prentice Hall},
url = {http://dblp.uni-trier.de/db/conf/tools/tools08-1992.html#Mandrioli92a},
year = {1992},
description = {dblp},
isbn = {0-13-042441-2}, date = {2007-04-25},
keywords = {dblp }
}
::