Logical characterization of bisimulation for transition relations over probability distributions with internal actions

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland
Redacteuren	P. Faliswewski, A. Muschall, R. Niedermeier
Status	Gepubliceerd - 2016

Naam	Leibniz International Proceedings in Informatics (LIPIcs)
Volume	58

Citeer dit

Lee, M., & de Vink, E. P. (2016). Logical characterization of bisimulation for transition relations over probability distributions with internal actions. In P. Faliswewski, A. Muschall, & R. Niedermeier (editors), 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 58).

Lee, M. ; de Vink, E.P. / Logical characterization of bisimulation for transition relations over probability distributions with internal actions. 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland . redacteur / P. Faliswewski ; A. Muschall ; R. Niedermeier. 2016. (Leibniz International Proceedings in Informatics (LIPIcs)).

@inproceedings{e59a1a830db94adb825c4d41c64de5f7,

title = "Logical characterization of bisimulation for transition relations over probability distributions with internal actions",

author = "M. Lee and {de Vink}, E.P.",

year = "2016",

language = "English",

series = "Leibniz International Proceedings in Informatics (LIPIcs)",

editor = "P. Faliswewski and A. Muschall and R. Niedermeier",

booktitle = "41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland",

}

Lee, M & de Vink, EP 2016, Logical characterization of bisimulation for transition relations over probability distributions with internal actions. in P Faliswewski, A Muschall & R Niedermeier (uitgave), 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland . Leibniz International Proceedings in Informatics (LIPIcs), vol. 58.

Logical characterization of bisimulation for transition relations over probability distributions with internal actions. / Lee, M.; de Vink, E.P.
41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland . uitgave / P. Faliswewski; A. Muschall; R. Niedermeier. 2016. (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 58).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Logical characterization of bisimulation for transition relations over probability distributions with internal actions

AU - Lee, M.

AU - de Vink, E.P.

PY - 2016

Y1 - 2016

M3 - Conference contribution

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

BT - 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland

A2 - Faliswewski, P.

A2 - Muschall, A.

A2 - Niedermeier, R.

ER -

Lee M, de Vink EP. Logical characterization of bisimulation for transition relations over probability distributions with internal actions. In Faliswewski P, Muschall A, Niedermeier R, redacteurs, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland . 2016. (Leibniz International Proceedings in Informatics (LIPIcs)).