The complexity of model checking mobile ambients (2001)

by Witold Charatonik , Silvano Dal , Zilio Andrew , D. Gordon , Supratik Mukhopadhyay
Venue:In Proceedings FoSSaCS’01, volume 2030 of LNCS
Citations:7 - 3 self