Is It a “Good” Encoding of Mixed Choice?
 |
 |
@incollection{mixedchoice-lncs7213,
Author = {Peters, Kirstin and Nestmann, Uwe},
Booktitle = {Foundations of Software Science and Computational Structures},
Doi = {10.1007/978-3-642-28729-9_14},
Editor = {Birkedal, Lars},
Isbn = {978-3-642-28728-2},
Pages = {210--224},
Publisher = {Springer Berlin Heidelberg},
Series = {LNCS},
Title = {Is It a ``Good'' Encoding of Mixed Choice?},
Url = {http://link.springer.com/chapter/10.1007/978-3-642-28729-9_14},
Volume = 7213,
Year = 2012}
Author = {Peters, Kirstin and Nestmann, Uwe},
Booktitle = {Foundations of Software Science and Computational Structures},
Doi = {10.1007/978-3-642-28729-9_14},
Editor = {Birkedal, Lars},
Isbn = {978-3-642-28728-2},
Pages = {210--224},
Publisher = {Springer Berlin Heidelberg},
Series = {LNCS},
Title = {Is It a ``Good'' Encoding of Mixed Choice?},
Url = {http://link.springer.com/chapter/10.1007/978-3-642-28729-9_14},
Volume = 7213,
Year = 2012}