Searching for "Aliasing Models for Mobile Objects." – 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.

Aliasing Models for Mobile Objects
by Uwe Nestmann, Uwe Nestmann, Hans Hüttel, Hans H Uttel, Josva Kleist, Josva Kleist, Massimo Merro, Massimo Merro, Massimo Merro — 1999 — Inf. & Comp
…BRICS RS-99-44 Nestmann et al.: Aliasing Models for Mobile Objects BRICS Basic Research…
Cited by 6 (0 self) – Add To MetaCart

March 1999. 21 pp. Appears in Mendelzon, editor,
by Eighth International World, Klaus Havelund, Kim G. Larsen, Arne Skou, Formal Verification, Rune B. Lyngs, Christian N. S. Pedersen, Henrik Nielsen Measures, Julian C. Bradfield, Perdita Stevens, Observational Mu-calculus, Sibylle B. Frschle, Thomas Troels Hildebr, T On Plain
…, and Massimo Merro. Aliasing Models for Mobile Objects. December 1999. ii+46 pp. To appear in a special FOOL6…
Add To MetaCart

Showing 1 through 2.

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