%0 Conference Paper %1 conf/asm/GrovILKCG16 %A Grov, Gudmund %A Ireland, Andrew %A Llano, Maria Teresa %A Kovacs, Peter %A Colton, Simon %A Gow, Jeremy %B ABZ %D 2016 %E Butler, Michael J. %E Schewe, Klaus-Dieter %E Mashkoor, Atif %E Biró, Miklós %I Springer %K %P 282-289 %T Semi-Automated Design Space Exploration for Formal Modelling. %U http://dblp.uni-trier.de/db/conf/asm/abz2016.html#GrovILKCG16 %V 9675 %@ 978-3-319-33599-5

@inproceedings{conf/asm/GrovILKCG16, added-at = {2023-12-12T22:08:12.000+0100}, author = {Grov, Gudmund and Ireland, Andrew and Llano, Maria Teresa and Kovacs, Peter and Colton, Simon and Gow, Jeremy}, biburl = {https://www.bibsonomy.org/bibtex/23b551802fd8079d396beba36565c5104/admin}, booktitle = {ABZ}, crossref = {conf/asm/2016}, editor = {Butler, Michael J. and Schewe, Klaus-Dieter and Mashkoor, Atif and Biró, Miklós}, ee = {https://doi.org/10.1007/978-3-319-33600-8_22}, interhash = {475c32eb126e628a0a75d026e712bb11}, intrahash = {3b551802fd8079d396beba36565c5104}, isbn = {978-3-319-33599-5}, keywords = {}, pages = {282-289}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:08:12.000+0100}, title = {Semi-Automated Design Space Exploration for Formal Modelling.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2016.html#GrovILKCG16}, volume = 9675, year = 2016 }