1. Semprini, S.: Specification and Verification of Mobile Systems. PhD Thesis, Department of Informatics, University of Pisa (2004)
2. Montangero, C., Semini, L.: Distributed States Temporal Logic (2003),
http://arxiv.org/abs/cs.LO/0304046s
3. Montangero, C., Semini, L.: Distributed States Logic. In: Proceedings of Nineth International Symposium on Temporal Representation and Reasoning (2002) (Manchester)
4. Semprini, S.: Mark: Mob
adtl
Reasoning Kit,
http://www.sra.itc.it/people/semprini
5. Ferrari, G., Montangero, C., Semini, L., Semprini, S.: Multiple Security Policies in Mob
adtl
. In: Proc. Workshop on Issues in the Theory of Security (2000)