%0 Conference Paper %1 conf/jisbd/GuerraL03 %A Guerra, Esther %A de Lara, Juan %B JISBD %D 2003 %E Pimentel, Ernesto %E Brisaboa, Nieves R. %E Gómez, Jaime %K dblp %P 325-334 %T A Framework for the Verification of UML Models. Examples Using Petri Nets. %U http://dblp.uni-trier.de/db/conf/jisbd/jisbd2003.html#GuerraL03 %@ 84-688-3836-5

@inproceedings{conf/jisbd/GuerraL03, added-at = {2003-12-15T00:00:00.000+0100}, author = {Guerra, Esther and de Lara, Juan}, biburl = {https://www.bibsonomy.org/bibtex/25343351bbe51096962dcda928e1caad0/dblp}, booktitle = {JISBD}, crossref = {conf/jisbd/2003}, editor = {Pimentel, Ernesto and Brisaboa, Nieves R. and Gómez, Jaime}, interhash = {cf22c7398ee13b8a16a3c0cbd8ee1cce}, intrahash = {5343351bbe51096962dcda928e1caad0}, isbn = {84-688-3836-5}, keywords = {dblp}, pages = {325-334}, timestamp = {2024-04-09T21:46:16.000+0200}, title = {A Framework for the Verification of UML Models. Examples Using Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/jisbd/jisbd2003.html#GuerraL03}, year = 2003 }