Santos,, Alexandre
Temporal logic and concurrent logic programming in protocol specification, verification and prototyping / Alexandre J. T. Santos, Vasco L. B. Freitas, José C. M. Neves
Temporal logic and concurrent logic programming in protocol specification, verification and prototyping / Alexandre J. T. Santos, Vasco L. B. Freitas, José C. M. Neves
681.3