The decidability of model checking mobile ambients, in (2010)

by W Charatonik, J-M Talbot
Venue:University of Bologna