@inproceedings{gandalf17,
  author    = {Della Monica, Dario and
               Angelo Montanari and
               Pietro Sala},
  title     = {Beyond {\textdollar}{\(\omega\)}{\textdollar}BS-regular
               Languages: {\textdollar}{\(\omega\)}{\textdollar}T-regular
	       Expressions and Counter-Check Automata},
  booktitle = {Proc. of the 8th International Symposium on Games,
               Automata, Logics and Formal Verification (GandALF)},
  pages     = {223--237},
  year      = {2017},
  editor    = {Patricia Bouyer and
               Andrea Orlandini and
               San Pietro, Pierluigi},
  series    = {{EPTCS}},
  volume    = {256},
  doi       = {10.4204/EPTCS.256.16},
  address   = {Roma, Italy},
  month     = {September}
}