%0 Conference Paper %1 conf/kbse/LiliusP99 %A Lilius, Johan %A Paltor, Ivan %B ASE %D 1999 %I IEEE Computer Society %K dblp %P 255-258 %T vUML: A Tool for Verifying UML Models. %U http://dblp.uni-trier.de/db/conf/kbse/ase1999.html#LiliusP99 %@ 0-7695-0415-9

@inproceedings{conf/kbse/LiliusP99, added-at = {2024-05-07T00:00:00.000+0200}, author = {Lilius, Johan and Paltor, Ivan}, biburl = {https://www.bibsonomy.org/bibtex/2f34e397fd4d611187a2906e40d7a00d8/dblp}, booktitle = {ASE}, crossref = {conf/kbse/1999}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.1999.802301}, interhash = {4da42f950ab9e5ce647ac5df9a718ec4}, intrahash = {f34e397fd4d611187a2906e40d7a00d8}, isbn = {0-7695-0415-9}, keywords = {dblp}, pages = {255-258}, publisher = {IEEE Computer Society}, timestamp = {2024-05-13T09:54:32.000+0200}, title = {vUML: A Tool for Verifying UML Models.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase1999.html#LiliusP99}, year = 1999 }