Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios (bibtex)
by , , ,
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},
}
Powered by bibtexbrowser