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