Axel Legay, Pierre Wolper On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:3-8 [Journal]
Carolyn L. Talcott Coordination Models Based on a Formal Model of Distributed Object Reflection. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:143-157 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP