On The Relationship Between Operational And Denotational Semantics Of Temporal Logic Specification Of Object Behaviour (1995)

Cached

Download Links

by Carlos Caleiro
Venue:IS-CORE'94 - Selected papers
Citations:5 - 3 self