@jandson

A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information

, and . Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, volume 9407 of Lecture Notes in Computer Science, page 84--99. Springer, (2015)

Links and resources

DOI:
10.1007/978-3-319-25423-4\_6
URL:
BibTeX key:
DBLP:conf/icfem/RibeiroA15
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication