Théorie ensemble And NotA. Bockmayr
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000168 | Yannick Chevalier [France] ; Michael Rusinowitch [France] | Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures |
| 000171 | Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
| 000511 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Combining intruder theories |
| 000605 | A. Koubaa [France] ; Y. Q. Song | Evaluation and improvement of response time bounds for real-time applications under non-pre-emptive fixed priority scheduling |
| 000672 | Harald Ganzinger [Allemagne] ; Jürgen Stuber [France] | Superposition with equivalence reasoning and delayed clause normal form transformation |
| 000719 | Jean-Raymond Abrial ; Dominique Cansell [France] | Click'n prove: Interactive proofs within Set Theory |
| 000925 | Jürgen Stuber [France] | A model-based completeness proof of extended narrowing and Resolution |
| 000963 | A. Felty [États-Unis] | The calculus of constructions as a framework for proof search with set variable instantiation |
| 000992 | J. Zhou [France] | Introduction to the constraint language NCL |
| This area was generated with Dilib version V0.6.33. |  |