@ARTICLE{CharatonikDGMT2003,
AUTHOR = {Charatonik, Witold and Dal Zilio, Silvano and Gordon, Andrew Donald and Mukhopadhyay, Supratik and Talbot, Jean-Marc},
TITLE = {Model checking mobile ambients},
JOURNAL = {Theoretical Computer Science},
PUBLISHER = {Elsevier},
YEAR = {2003},
NUMBER = {1-3},
VOLUME = {308},
PAGES = {277--331},
ADDRESS = {Amsterdam, The Netherlands},
MONTH = {November},
ISBN = {0304-3975},
}
Entry last modified by Uwe Waldmann, 01/28/2008
Edit History (please click the blue arrow to see the details)
| Editor(s)
Witold Charatonik | Created
05/08/2003 05:25:59 PM |
Revisions
8.
7.
6.
5.
4. | Editor(s)
Uwe Waldmann
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm | Edit Dates
04/14/2005 03:55:06 AM
17.06.2004 14:35:13
05/11/2004 06:34:33 PM
05/11/2004 05:46:08 PM
07.07.2003 16:35:51 |