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:

@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 = {} }

Powered by bibtexbrowser