Shape analysis for mobile ambients
Hanne Riis Nielson, Flemming Nielson
Type
Journal paper [With referee]
Journal
Nordic Journal of Computing
Year
2001
Vol.
8
pp.
233-275
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering