Benjamin Aziz A Semiring-based Quantitative Analysis of Mobile Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:3-21 [Journal]
Donghuo Chen, Jinzhao Wu Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:23-38 [Journal]