Suraq — A Controller Synthesis Tool using Uninterpreted Functions (bibtex)
by Georg Hofferek, Ashutosh Gupta
Reference:
Suraq — A Controller Synthesis Tool using Uninterpreted FunctionsGeorg Hofferek, Ashutosh GuptaHVC, 2014.Note: to appear
Bibtex Entry:
@inproceedings{DBLP:journals/corr/alkjxi,
  author    = {Georg Hofferek and Ashutosh Gupta},
  title     = {Suraq — A Controller Synthesis Tool using Uninterpreted Functions},
  booktitle = {HVC},
  year      = {2014},
  note      = {to appear}
}
Powered by bibtexbrowser