Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ifipTCS/GadducciMM12
%A Gadducci, Fabio
%A Monreale, Giacoma Valentina
%A Montanari, Ugo
%B IFIP TCS
%D 2012
%E Baeten, Jos C. M.
%E Ball, Thomas
%E de Boer, Frank S.
%I Springer
%K dblp
%P 134-148
%T A Modular LTS for Open Reactive Systems.
%U http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2012.html#GadducciMM12
%V 7604
%@ 978-3-642-33474-0
@inproceedings{conf/ifipTCS/GadducciMM12,
added-at = {2020-06-15T00:00:00.000+0200},
author = {Gadducci, Fabio and Monreale, Giacoma Valentina and Montanari, Ugo},
biburl = {https://www.bibsonomy.org/bibtex/2a04fbd9e5700fe13c4c31d6aedf2c4cd/dblp},
booktitle = {IFIP TCS},
crossref = {conf/ifipTCS/2012},
editor = {Baeten, Jos C. M. and Ball, Thomas and de Boer, Frank S.},
ee = {https://doi.org/10.1007/978-3-642-33475-7_10},
interhash = {712535a1fa00d960bea7fb0981e48ae1},
intrahash = {a04fbd9e5700fe13c4c31d6aedf2c4cd},
isbn = {978-3-642-33474-0},
keywords = {dblp},
pages = {134-148},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-07-15T07:11:55.000+0200},
title = {A Modular LTS for Open Reactive Systems.},
url = {http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2012.html#GadducciMM12},
volume = 7604,
year = 2012
}