%0 Journal Article %1 journals/tplp/BozzanoDM04 %A Bozzano, Marco %A Delzanno, Giorgio %A Martelli, Maurizio %D 2004 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 573-619 %T Model Checking Linear Logic Specifications. %U http://dblp.uni-trier.de/db/journals/tplp/tplp4.html#BozzanoDM04 %V 4

@article{journals/tplp/BozzanoDM04, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bozzano, Marco and Delzanno, Giorgio and Martelli, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/2b780dbc4b5413a69f6343145b9257022/dblp}, ee = {https://doi.org/10.1017/S1471068404002066}, interhash = {82d0cf130f2e721a09b3e7c34810cae5}, intrahash = {b780dbc4b5413a69f6343145b9257022}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {573-619}, timestamp = {2024-04-09T05:34:36.000+0200}, title = {Model Checking Linear Logic Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp4.html#BozzanoDM04}, volume = 4, year = 2004 }