%0 Journal Article %1 journals/spe/BarbutiFSV99 %A Barbuti, Roberto %A Francesco, Nicoletta De %A Santone, Antonella %A Vaglini, Gigliola %D 1999 %J Softw. Pract. Exp. %K dblp %N 12 %P 1123-1147 %T LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. %U http://dblp.uni-trier.de/db/journals/spe/spe29.html#BarbutiFSV99 %V 29

@article{journals/spe/BarbutiFSV99, added-at = {2020-04-09T00:00:00.000+0200}, author = {Barbuti, Roberto and Francesco, Nicoletta De and Santone, Antonella and Vaglini, Gigliola}, biburl = {https://www.bibsonomy.org/bibtex/28565b541c724a79f5ec4445372290b4f/dblp}, ee = {https://doi.org/10.1002/(SICI)1097-024X(199910)29:12<1123::AID-SPE275>3.0.CO;2-6}, interhash = {dc739ce0d41984500f869375b81bcb80}, intrahash = {8565b541c724a79f5ec4445372290b4f}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 12, pages = {1123-1147}, timestamp = {2020-04-10T11:55:03.000+0200}, title = {LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe29.html#BarbutiFSV99}, volume = 29, year = 1999 }