by Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein
Reference:
Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios (Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein), In Proc. of the $5^th$ ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China, ACM Press, 2006.
Bibtex Entry:
@InProceedings{GHHK06_ag,
AUTHOR = {Giese, Holger and Henkler, Stefan and Hirsch, Martin and Klein, Florian},
TITLE = {{Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios}},
YEAR = {2006},
MONTH = {May},
BOOKTITLE = {Proc. of the $5^th$ ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China},
PAGES = {67-74},
PUBLISHER = {ACM Press},
PDF = {http://delivery.acm.org/10.1145/1140000/1138967/p67-giese.pdf?key1=1138967&key2=8907794821&coll=GUIDE&dl=GUIDE&CFID=102517810&CFTOKEN=34589716}
}