Coordination Logic

First Author: Finkbeiner B
Attributed to:  Synthesis and Verification in Markov Game Structures funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-15205-4_25

PubMed Identifier: 35310544

Publication URI: http://europepmc.org/abstract/MED/35310544

Type: Book Chapter

Book Title: Computer Science Logic (2010)

Page Reference: 305-319

ISBN: 978-3-642-15204-7

ISSN: 0960-3174