Branching Bisimulation Games

Thumbnail Image

Date

2016

Authors

Frutos Escrig, D. de
Keiren, J.J.A. Jeroen
Willemse, T.A.C.

Journal Title

Journal ISSN

Volume Title

Publisher

Cham : Springer International Publishing

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/159595

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By