Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/jss/GhezziMM90
%A Ghezzi, Carlo
%A Mandrioli, Dino
%A Morzenti, Angelo
%D 1990
%J Journal of Systems and Software
%K dblp
%N 2
%P 107-123
%T TRIO: A logic language for executable specifications of real-time systems.
%U http://dblp.uni-trier.de/db/journals/jss/jss12.html#GhezziMM90
%V 12
@article{journals/jss/GhezziMM90,
added-at = {2006-02-01T00:00:00.000+0100},
author = {Ghezzi, Carlo and Mandrioli, Dino and Morzenti, Angelo},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c31c5cf1af57f26bbdad22fdf4479efd/dblp},
ee = {http://dx.doi.org/10.1016/0164-1212(90)90074-V},
interhash = {5f73cf9911641bc0396d53b8935bdb67},
intrahash = {c31c5cf1af57f26bbdad22fdf4479efd},
journal = {Journal of Systems and Software},
keywords = {dblp},
number = 2,
pages = {107-123},
timestamp = {2016-02-02T05:11:04.000+0100},
title = {TRIO: A logic language for executable specifications of real-time systems.},
url = {http://dblp.uni-trier.de/db/journals/jss/jss12.html#GhezziMM90},
volume = 12,
year = 1990
}