Search the dblp DataBase

Publications of Author

1. Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
   Exogenous Probabilistic Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:95-110 [Journal]
   
2. 
   Temporalization of Probabilistic Propositional Logic. [Citation Graph (, )][DBLP]
   
   
3. 
   Towards Model-Checking Quantum Security Protocols. [Citation Graph (, )][DBLP]
   
   
4. 
   $M$-Solid Varieties of Languages. [Citation Graph (, )][DBLP]