Loading...

check nearby libraries

Specification and verification of declarative open interaction models2010

a logic-based approach

by Marco Montali

No description found.

3 editions at OpenLibrary

top conversations

Loading...