On Continuous Nondeterminism and State Minimality (bibtex)

by Jiří Adámek, Stefan Milius, Robert S.R. Myers and Henning Urbat

Reference:

Jiří Adámek, Stefan Milius, Robert S.R. Myers and Henning Urbat: On Continuous Nondeterminism and State Minimality, In Bart Jacobs, Alexandra Silva, Sam Staton, eds.: Proc. Mathematical Foundations of Programming Science (MFPS XXX), Electron. Notes Theor. Comput. Sci., vol. 308, pp. 3–23, Elsevier, 2014.

Bibtex Entry:

@string{elsevier="Elsevier"}
@InProceedings{ammu14_2,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Robert S.R. Myers and Henning Urbat},
  title = 	 {On Continuous Nondeterminism and State Minimality},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Mathematical Foundations of Programming Science (MFPS XXX)},
  pages = 	 {3--23},
  year = 	 {2014},
  editor = 	 {Bart Jacobs and Alexandra Silva and Sam Staton},
  volume = 	 {308},
  OPTnumber = 	 {},
  series = 	 {Electron.~Notes Theor.~Comput.~Sci.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Elsevier},
  OPTnote = 	 {},
  OPTannote = 	 {}
}