|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index volume 23 (1994) |
1994 |
23 | 2-3 |
p. 313- 1 p. |
artikel |
||
| 2 | Composition of assumption-commitment specifications in a UNITY style |
Collette, Pierre |
1994 |
23 | 2-3 |
p. 107-125 19 p. |
artikel |
|
| 3 | Foreword |
Gaudel, Marie-Claude |
1994 |
23 | 2-3 |
p. 105- 1 p. |
artikel |
|
| 4 | Gate splitting in LOTOS specifications using abstract interpretation |
Giannotti, Fosca |
1994 |
23 | 2-3 |
p. 127-149 23 p. |
artikel |
|
| 5 | Label algebras and exception handling |
Bernot, Gilles |
1994 |
23 | 2-3 |
p. 227-286 60 p. |
artikel |
|
| 6 | Model checking using net unfoldings |
Esparza, Javier |
1994 |
23 | 2-3 |
p. 151-195 45 p. |
artikel |
|
| 7 | Principal type schemes for functional programs with overloading and subtyping |
Smith, Geoffrey S. |
1994 |
23 | 2-3 |
p. 197-226 30 p. |
artikel |
|
| 8 | Substitution: A formal methods case study using monads and transformations |
Bellegarde, Françoise |
1994 |
23 | 2-3 |
p. 287-311 25 p. |
artikel |
8 gevonden resultaten