%0 Conference Paper %1 conf/ecce/Smith-SparkKMW15 %A Smith-Spark, James H. %A Katz, Hillary B. %A Marchant, Alexander %A Wilcockson, Thomas D. W. %B ECCE %D 2015 %E Dittmar, Anke %E Sikorski, Marcin %E de Greef, Tjerk %E Marasek, Krzysztof %I ACM %K dblp %P 13:1-13:6 %T Label-checking strategies to adapt behaviour to design. %U http://dblp.uni-trier.de/db/conf/ecce/ecce2015.html#Smith-SparkKMW15 %@ 978-1-4503-3612-3

@inproceedings{conf/ecce/Smith-SparkKMW15, added-at = {2019-10-19T00:00:00.000+0200}, author = {Smith-Spark, James H. and Katz, Hillary B. and Marchant, Alexander and Wilcockson, Thomas D. W.}, biburl = {https://www.bibsonomy.org/bibtex/2fcee9de8a8a78c681fbe359d53662978/dblp}, booktitle = {ECCE}, crossref = {conf/ecce/2015}, editor = {Dittmar, Anke and Sikorski, Marcin and de Greef, Tjerk and Marasek, Krzysztof}, ee = {https://doi.org/10.1145/2788412.2788425}, interhash = {9631b3e372ee616737ae06be601cc101}, intrahash = {fcee9de8a8a78c681fbe359d53662978}, isbn = {978-1-4503-3612-3}, keywords = {dblp}, pages = {13:1-13:6}, publisher = {ACM}, timestamp = {2019-10-22T14:08:32.000+0200}, title = {Label-checking strategies to adapt behaviour to design.}, url = {http://dblp.uni-trier.de/db/conf/ecce/ecce2015.html#Smith-SparkKMW15}, year = 2015 }