Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/modellierung/GritznerG18
@inproceedings{DBLP:conf/modellierung/GritznerG18, author = {Daniel Gritzner and Joel Greenyer}, editor = {Ina Schaefer and Dimitris Karagiannis and Andreas Vogelsang and Daniel M{\'{e}}ndez and Christoph Seidl}, title = {Synthesis of Cost-optimized Controllers from Scenario-based {GR(1)} Specifications}, booktitle = {Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany}, series = {{LNI}}, volume = {{P-280}}, pages = {167--182}, publisher = {Gesellschaft f{\"{u}}r Informatik e.V.}, year = {2018}, url = {https://dl.gi.de/handle/20.500.12116/14937}, timestamp = {Tue, 04 Jul 2023 17:44:33 +0200}, biburl = {https://dblp.org/rec/conf/modellierung/GritznerG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.