Model checking distributed temporal logic
- Francisco Dionisio
- , Jaime Ramos
- , Fernando Subtil
- , Luca Viganò
- Instituto de Telecomunicações
- Departamento de Matemática, Instituto Superior Técnico, ULisboa, Lisboa
Research output: Contribution to journal › Article › peer-review
138
Downloads
(Pure)