%0 Conference Paper %1 conf/pstv/FantechiGR90 %A Fantechi, Alessandro %A Gnesi, Stefania %A Ristori, Gioia %B PSTV %D 1990 %E Logrippo, Luigi %E Probert, Robert L. %E Ural, Hasan %I North-Holland %K dblp %P 365-378 %T Compositional logic semantics and LOTOS. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1990.html#FantechiGR90 %@ 0-444-88810-1

@inproceedings{conf/pstv/FantechiGR90, added-at = {2002-01-03T00:00:00.000+0100}, author = {Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia}, biburl = {https://www.bibsonomy.org/bibtex/2a96023cf1b8be18933e1f478747fb2f8/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1990}, date = {2002-01-03}, description = {dblp}, editor = {Logrippo, Luigi and Probert, Robert L. and Ural, Hasan}, interhash = {93e83b4b9d0e0ddffa6f529fed0f7834}, intrahash = {a96023cf1b8be18933e1f478747fb2f8}, isbn = {0-444-88810-1}, keywords = {dblp}, pages = {365-378}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Compositional logic semantics and LOTOS.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1990.html#FantechiGR90}, year = 1990 }