
Search the dblp DataBase
Albert John Camilleri:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Albert John Camilleri
A Hybrid Approach to Verifying Liveness in a Symmetric MultiProcessor. [Citation Graph (1, 0)][DBLP] TPHOLs, 1997, pp:4967 [Conf]
 Albert John Camilleri
A Role for Theorem Proving in MultiProcessor Design. [Citation Graph (0, 0)][DBLP] CAV, 1998, pp:4548 [Conf]
 Albert John Camilleri, Paola Inverardi, Monica Nesi
Combining Interaction and Automation in Process Algebra Verification. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1991, pp:283296 [Conf]
 Simon Bainbridge, Albert John Camilleri, Roger Fleming
Theorem Proving as an Industrial Tool for System Level Desgin. [Citation Graph (0, 0)][DBLP] TPCD, 1992, pp:253274 [Conf]
 Steven D. Johnson, Paul S. Miner, Albert John Camilleri
Studies of the Single Pulser in Various Reasoning Systems. [Citation Graph (0, 0)][DBLP] TPCD, 1994, pp:126145 [Conf]
 Simon Bainbridge, Albert John Camilleri, Roger Fleming
Industrial Application of Theorem Proving to System Level Design. [Citation Graph (0, 0)][DBLP] TPHOLs, 1991, pp:130142 [Conf]
 Albert John Camilleri
Mechanizing CSP Trace Theory in Higher Order Logic. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:9, pp:9931004 [Journal]
Search in 0.002secs, Finished in 0.002secs
