|
Search the dblp DataBase
Barbara Heyd:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Pierre Crégut, Fabrice Guillemin, Barbara Heyd
A Protocol for Supporting the ABT/DT Capability. [Citation Graph (0, 0)][DBLP] ICNP, 1996, pp:218-225 [Conf]
- Boutheina Chetali, Barbara Heyd
Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. [Citation Graph (0, 0)][DBLP] TPHOLs, 1997, pp:69-85 [Conf]
- Barbara Heyd, Pierre Crégut
A Modular Coding of UNITY in COQ. [Citation Graph (0, 0)][DBLP] TPHOLs, 1996, pp:251-266 [Conf]
- Pierre Crégut, Barbara Heyd
Progress Properties for Empty UNITY Programs. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1999, v:69, n:3, pp:107-109 [Journal]
Search in 0.001secs, Finished in 0.001secs
|