Published in
Springer Verlag, Lecture Notes in Computer Science, p. 602-611
DOI: 10.1007/11874850_64
Links
- ORCID
- Springer Verlag
- [www.researchgate.net] | PDF
- [citeseerx.ist.psu.edu] | PDF
- [www.matap.uma.es] | PDF
Tools
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies
Journal article published in 2006 by
Gabriel Aguilera 
,
Alfredo Burrieza,
Pablo Cordero,
Inmaculada P. de Guzmán,
Emilo Muñoz
,
Alfredo Burrieza,
Pablo Cordero,
Inmaculada P. de Guzmán,
Emilo Muñoz
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 