2003
Report
Unknown
D2.3b: Modal Logics for Behavioural Properties of Mobile Systems
Gnesi S., Mazzanti F.
Computer Science & Engineering
Not available
Source: Project report, AGILE, Deliverable D2.3b, 2003
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:160091,
title = {D2.3b: Modal Logics for Behavioural Properties of Mobile Systems},
author = {Gnesi S. and Mazzanti F.},
institution = {Project report, AGILE, Deliverable D2.3b, 2003},
year = {2003}
}
0000-0002-0139-0421CNR ExploRA