Regular Behaviours with Names (bibtex)
by Stefan Milius, Lutz Schröder, Thorsten Wißmann
Reference:
Regular Behaviours with Names (Stefan Milius, Lutz Schröder, Thorsten Wißmann), In Appl. Cat. Struct., vol. 24(5), pp. 663–791, 2016. The final publication is available at Springer via http://dx.doi.org/10.1007/s10485-016-9457-8.
Bibtex Entry:
@article{MiliusSW16,
  author = {Stefan Milius and Lutz Schr\"oder and Thorsten Wißmann},
  title = {Regular Behaviours with Names},
  journal = {Appl. Cat. Struct.},
  pages = {663--791},
  volume = {24},
  number = {5},
  year = {2016},
  doi  = {10.1007/s10485-016-9457-8},
    url = {http://www8.cs.fau.de/_media/research:papers:reg-beh-names.pdf},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/s10485-016-9457-8">http://dx.doi.org/10.1007/s10485-016-9457-8</a>.},
 
 }
Powered by bibtexbrowser