%0 Conference Paper %1 conf/seke/ShengZYYL19 %A Sheng, Feng %A Zhu, Huibiao %A Yang, Zongyuan %A Yin, Jiaqi %A Lu, Gang %B SEKE %D 2019 %E Perkusich, Angelo %I KSI Research Inc. and Knowledge Systems Institute Graduate School %K dblp %P 259-342 %T Verifying Static Aspects of UML models using Prolog (S). %U http://dblp.uni-trier.de/db/conf/seke/seke2019.html#ShengZYYL19 %@ 1-891706-48-9

@inproceedings{conf/seke/ShengZYYL19, added-at = {2021-02-03T00:00:00.000+0100}, author = {Sheng, Feng and Zhu, Huibiao and Yang, Zongyuan and Yin, Jiaqi and Lu, Gang}, biburl = {https://www.bibsonomy.org/bibtex/25c90a5cbb989f6daff8216d00c6885e3/dblp}, booktitle = {SEKE}, crossref = {conf/seke/2019}, editor = {Perkusich, Angelo}, ee = {https://doi.org/10.18293/SEKE2019-175}, interhash = {2e56233bc1a14ea2b5d522779de6844f}, intrahash = {5c90a5cbb989f6daff8216d00c6885e3}, isbn = {1-891706-48-9}, keywords = {dblp}, pages = {259-342}, publisher = {KSI Research Inc. and Knowledge Systems Institute Graduate School}, timestamp = {2024-04-09T11:50:44.000+0200}, title = {Verifying Static Aspects of UML models using Prolog (S).}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2019.html#ShengZYYL19}, year = 2019 }