%0 Journal Article %1 journals/sttt/MachadoLOCP07 %A Machado, Ricardo Jorge %A Lassen, Kristian Bisgaard %A Oliveira, Sérgio %A Couto, Marco %A Pinto, Patrícia %D 2007 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3-4 %P 353-369 %T Requirements Validation: Execution of UML Models with CPN Tools. %U http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#MachadoLOCP07 %V 9

@article{journals/sttt/MachadoLOCP07, added-at = {2023-08-09T00:00:00.000+0200}, author = {Machado, Ricardo Jorge and Lassen, Kristian Bisgaard and Oliveira, Sérgio and Couto, Marco and Pinto, Patrícia}, biburl = {https://www.bibsonomy.org/bibtex/296195aeadc1fc8783b18b976f7aa33fb/dblp}, ee = {https://doi.org/10.1007/s10009-007-0035-0}, interhash = {6238a04790f3cb525265d8c26c3d5bb8}, intrahash = {96195aeadc1fc8783b18b976f7aa33fb}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = {3-4}, pages = {353-369}, timestamp = {2024-04-08T20:36:30.000+0200}, title = {Requirements Validation: Execution of UML Models with CPN Tools.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#MachadoLOCP07}, volume = 9, year = 2007 }