BibTex Format for Publications
@inproceedings { GriGre2017a,
author = {Daniel Gritzner and Joel Greenyer},
title = {Synthesizing Executable PLC Code for Robots from Scenario-based GR(1) Specifications},
booktitle = {Proceedings of the 4th International Workshop on Model-driven Robot Software Engineering (MORSE'17), co-located with STAF 2017},
year = {2017}
}
