Searching for "Time-abstracted Bisimulation Implicit Specifications and Decidability." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Time Abstracted Bisimulation: Implicit Specifications and Decidability
by Kim G. Larsen, Yi Wang — 1997
…Time Abstracted Bisimulation: Implicit Specifications and Decidability Kim G. Larsen y and Yi…
Cited by 33 (8 self) – Add To MetaCart

Essential Reading: Theory of Timed and Hybrid Systems
by R. Ramanujam, Paritosh K. Pandya, Afh R. Alur, T. Feder, Hkpv T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya What's Decidable — 1997 — Proc. IEEE Conf. on Decision and Control
… abstracted bisimulation: implicit specification and decidability. In proc. 9th MFCS, 1993. to appear…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB