autore : Camilla Schwind
1
pubblicazione
Verifying Communicating Agents by Model Checking in a Temporal Action Logic (2004) — Laura Giordano, Alberto Martelli, Camilla Schwind Verifying Communicating Agents by Model Checking in a Temporal Action Logic (2004) — Laura Giordano, Alberto Martelli, Camilla Schwind