|
Search the dblp DataBase
Peter C. Dillinger:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter C. Dillinger, Panagiotis Manolios
Bloom Filters in Probabilistic Verification. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:367-381 [Conf]
- Peter C. Dillinger, Panagiotis Manolios
Fast and Accurate Bitstate Verification for SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2004, pp:57-75 [Conf]
- Peter C. Dillinger, Panagiotis Manolios
Enhanced Probabilistic Verification with 3Spin and 3Murphi. [Citation Graph (0, 0)][DBLP] SPIN, 2005, pp:272-276 [Conf]
- Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J. Strother Moore
ACL2s: "The ACL2 Sedan". [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:3-18 [Journal]
- Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J. Strother Moore
ACL2s: "The ACL2 Sedan". [Citation Graph (0, 0)][DBLP] ICSE Companion, 2007, pp:59-60 [Conf]
Fast, All-Purpose State Storage. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|