|
eCommons@Cornell >
Browsing by Author Kreitz, Christoph
Showing results 3 to 7 of 7
| Preview | Issue Date | Title | Author(s) | | 16-Jun-2004 | FDL: A Prototype Formal Digital Library | Allen, Stuart; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph; Lorigo, Lor |
| 9-May-2001 | Formally Verifying Hybrid Protocols with the Nuprl Logical ProgrammingEnvironment | Bickford, Mark; Kreitz, Christoph; van Renesse, Robbert |
| Jul-1997 | Formal Reasoning about Communication Systems I: Embedding ML into TypeTheory. | Kreitz, Christoph |
| Sep-1998 | Formal Reasoning about Communication Systems II: Automated Fast-TrackReconfiguration | Kreitz, Christoph |
| Oct-1999 | The Horus and Ensemble Projects: Accomplishments and Limitations | Birman, Kenneth P.; Constable, Robert; Hayden, Mark; Hickey, Jason; Kreitz, Christoph; Van Renesse, Robbert; Rodeh, Ohad; Vogels, Werner |
Showing results 3 to 7 of 7
|
