|
Search the dblp DataBase
Janine Magnier:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot
Formal Representation and Proof of the Interpreted Sequential Machine Model. [Citation Graph (0, 0)][DBLP] EUROCAST, 1997, pp:95-107 [Conf]
- Mireille Larnac, Janine Magnier, Vincent Chapurlat
Simplification of Proof Procedures Based on the Path Condition Concepts. [Citation Graph (0, 0)][DBLP] EUROCAST, 1999, pp:116-126 [Conf]
- Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat
Temporal and Functional Verification of a Symbolic Representation of Complex Systems. [Citation Graph (0, 0)][DBLP] EUROCAST, 1995, pp:151-162 [Conf]
Search in 0.002secs, Finished in 0.002secs
|