Specifying and verifying systems of communicating agents in a temporal action logic

Laura Giordano, Alberto Martelli, Camilla Schwind

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Fingerprint

Entra nei temi di ricerca di 'Specifying and verifying systems of communicating agents in a temporal action logic'. Insieme formano una fingerprint unica.

Keyphrases

Computer Science