| Original language | English |
|---|---|
| Pages | 262-274 |
| Number of pages | 13 |
| Publication status | Published - 2003 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic
- Laura GIORDANO
- , A. MARTELLI
- , C. SCHWIND
Research output: Contribution to conference › Paper › peer-review