The decidability of model checking mobile ambients (2001)

Cached

Download Links

by Witold Charatonik
Venue:In Proceedings of the 15th Annual Conference of the European Association for Computer Science Logic, volume 2142 of LNCS
Citations:36 - 6 self

Document Versions

The decidability of model checking mobile ambients –Witold Charatonik — 2001 — In Proceedings of the 15th Annual Conference of the European Association for Computer Science Logic, volume 2142 of LNCS
The Decidability of Model Checking Mobile Ambients –Witold Charatonik, Jean-marc Talbot — 2001