Verifying Communicating Agents by Model Checking in a Temporal Action Logic.

Laura Giordano, Alberto Martelli, Camilla Schwind

Browse the full JELIA paper archive.