MPG.eBooks - Search Results - (("modeling agency") OR ("modeling urgency"))

Search alternatives:
"modeling urgency" » "modelling emergency", "modeling emergence", "modeling agent"
"modeling agency" » "modeling agent", "modeling agents", "modelling agents"

Cover Image

1

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... in Model Checking -- Modeling Urgency in Timed Systems -- Compositional Refinement of Interactive Systems...”