|
Search the dblp DataBase
Jeffrey Maddalon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon
A Unified Fault-Tolerance Protocol. [Citation Graph (0, 0)][DBLP] FORMATS/FTRTFT, 2004, pp:167-182 [Conf]
- Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser
Abstractions for Fault-Tolerant Distributed System Verification. [Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:257-270 [Conf]
- Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César Muñoz
Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. [Citation Graph (0, 0)][DBLP] Winter Simulation Conference, 2003, pp:906-914 [Conf]
Search in 0.002secs, Finished in 0.002secs
|