TNT logo LUH TNT

BibTex Format for Publications

@article { GriGre2018b,
  author = {Daniel Gritzner and Joel Greenyer},
  title = {Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications},
  journal = {Procedia Manufacturing},
  year = {2018},
  url = {http://www.sciencedirect.com/science/article/pii/S2351978918305651},
  issn = {2351-9789},
  doi = {https://doi.org/10.1016/j.promfg.2018.06.046},
  volume = {24},
  pages = {153-158}
}


Back