![]() |
@article{DBLP:journals/acta/AstesianoR01,
author = {Egidio Astesiano and
Gianna Reggio},
title = {Labelled transition logic: an outline},
journal = {Acta Inf.},
volume = {37},
number = {11-12},
year = {2001},
pages = {831-879},
ee = {http://link.springer.de/link/service/journals/00236/bibs/1037011/10370831.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-25 by Michael Ley (ley@uni-trier.de)