Explaining Behavioural Inequivalence Generically in Quasilinear Time (bibtex)
by Thorsten Wiß\/mann, Stefan Milius and Lutz Schröder
Reference:
Thorsten Wiß\/mann, Stefan Milius and Lutz Schröder: Explaining Behavioural Inequivalence Generically in Quasilinear Time, In Serge Haddad, Daniele Varacca, eds.: Proc. 32nd International Conference on Concurrency Theory (CONCUR), lipics, vol. 203, pp. 31:1–32:18, dagstuhl, 2021.
Bibtex Entry:
@InProceedings{wms21,
  author = 	 {Wi\ss\/mann, Thorsten and Milius, Stefan and Schr\"oder, Lutz},
  title = 	 {Explaining Behavioural Inequivalence Generically in Quasilinear Time},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~32nd International Conference on Concurrency Theory (CONCUR)},
  year = 	 {2021},
  editor = 	 {Haddad, Serge and Varacca, Daniele},
  volume = 	 {203},
  OPTnumber = 	 {},
  series = 	 lipics,
  pages = 	 {31:1--32:18},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = dagstuhl,
  OPTnote = 	 {{T}o appear},
  OPTannote = 	 {}
}
Powered by bibtexbrowser