Concepedia

Publication | Open Access

Model checking mobile ambients

DOIFull Paper Access

39

Citations

20

References

2003

Year

Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
Theoretical Computer Science

References

YearCitations

Page 1