Benchmark: Stratified Controllers of Tank Networks (bibtex)

by S Bak, S Bogomolov, M Greitschus and Taylor T. Johnson

Reference:

S Bak, S Bogomolov, M Greitschus and Taylor T. Johnson, "Benchmark: Stratified Controllers of Tank Networks", In 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'15), EasyChair, pp. 73–79, 2015.

Bibtex Entry:

@inproceedings{bak2015arch,
  title = {Benchmark: Stratified Controllers of Tank Networks},
  author = {S Bak and S Bogomolov and M Greitschus and Taylor T. Johnson},
  year = {2015},
  booktitle = {2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'15)},
  volume = {34},
  pages = {73--79},
  publisher = {EasyChair},
  doi = {10.29007/2ljt},
  publabel = {W3},
  pubtype = {W},
  dblp = {conf/cpsweek/BakBGJ15},
  s2id = {38753702},
  pdf = "research/bak2015arch.pdf",
}