%0 Conference Paper %1 conf/apn/ClarisoRC05 %A Clarisó, Robert %A Rodríguez-Carbonell, Enric %A Cortadella, Jordi %B ICATPN %D 2005 %E Ciardo, Gianfranco %E Darondeau, Philippe %I Springer %K dblp %P 188-207 %T Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/apn/icatpn2005.html#ClarisoRC05 %V 3536 %@ 3-540-26301-2

@inproceedings{conf/apn/ClarisoRC05, added-at = {2022-01-03T00:00:00.000+0100}, author = {Clarisó, Robert and Rodríguez-Carbonell, Enric and Cortadella, Jordi}, biburl = {https://www.bibsonomy.org/bibtex/2529dce5fe8c6635d54ff08e0cda61fac/dblp}, booktitle = {ICATPN}, crossref = {conf/apn/2005}, editor = {Ciardo, Gianfranco and Darondeau, Philippe}, ee = {https://www.wikidata.org/entity/Q56892546}, interhash = {0d736477d6aee1b272baabe6e909784b}, intrahash = {529dce5fe8c6635d54ff08e0cda61fac}, isbn = {3-540-26301-2}, keywords = {dblp}, pages = {188-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:04:10.000+0200}, title = {Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/apn/icatpn2005.html#ClarisoRC05}, volume = 3536, year = 2005 }