%0 Conference Paper %1 conf/tase/WuMP13 %A Wu, Hao %A Monahan, Rosemary %A Power, James F. %B TASE %D 2013 %I IEEE Computer Society %K dblp %P 175-182 %T Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. %U http://dblp.uni-trier.de/db/conf/tase/tase2013.html#WuMP13 %@ 978-0-7695-5053-4

@inproceedings{conf/tase/WuMP13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wu, Hao and Monahan, Rosemary and Power, James F.}, biburl = {https://www.bibsonomy.org/bibtex/2f776c9e51afab0c991c36bbeb6b9dfb1/dblp}, booktitle = {TASE}, crossref = {conf/tase/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/TASE.2013.31}, interhash = {18d0555385e555373373f6bf75999efc}, intrahash = {f776c9e51afab0c991c36bbeb6b9dfb1}, isbn = {978-0-7695-5053-4}, keywords = {dblp}, pages = {175-182}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:20:05.000+0200}, title = {Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2013.html#WuMP13}, year = 2013 }