MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Complexity of Model Checking Mobile Ambients." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • The complexity of model checking mobile ambients  
  • by Witold Charatonik, Silvano Dal, Zilio Andrew, D. Gordon, Supratik Mukhopadhyay — 2001 — In Proceedings FoSSaCS’01, volume 2030 of LNCS
  • … The Complexity of Model Checking Mobile Ambients Witold Charatonik1;2 Silvano Dal Zilio3 Andrew…
  • Cited by 5 (3 self)Add To MetaCart
  • Publication History  
  • by Portion Of This, Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-marc Talbot
  • …The Complexity of Model Checking Mobile Ambients Witold Charatonik 1;2 Silvano Dal Zilio 3…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB