%0 Conference Paper %1 conf/euromicro/DohrmannH10 %A Dohrmann, Patrick %A Herold, Sebastian %B EUROMICRO-SEAA %D 2010 %I IEEE Computer Society %K %P 164-171 %T Designing and Applying a Framework for Logic-Based Model Querying. %U http://dblp.uni-trier.de/db/conf/euromicro/euromicro2010.html#DohrmannH10 %@ 978-1-4244-7901-6

@inproceedings{conf/euromicro/DohrmannH10, added-at = {2023-12-13T04:35:31.000+0100}, author = {Dohrmann, Patrick and Herold, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/29896364a4a7adb0c32fe374ba3b72356/admin}, booktitle = {EUROMICRO-SEAA}, crossref = {conf/euromicro/2010}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2010.21}, interhash = {97cf0843551ddfe7cfbffc8c64999d5f}, intrahash = {9896364a4a7adb0c32fe374ba3b72356}, isbn = {978-1-4244-7901-6}, keywords = {}, pages = {164-171}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T04:35:31.000+0100}, title = {Designing and Applying a Framework for Logic-Based Model Querying.}, url = {http://dblp.uni-trier.de/db/conf/euromicro/euromicro2010.html#DohrmannH10}, year = 2010 }