학술논문
Expressing and verifying temporal and structural properties of mobile agents
Document Type
Text
Author
Source
Subject
Language
English