| Original language | English |
|---|---|
| Title of host publication | Unknown Host Publication Title |
| Publisher | IFAC by Pergamon Press |
| Pages | 119-126 |
| Number of pages | 8 |
| ISBN (Print) | 0080305636 |
| Publication status | Published - 1 Dec 1983 |
LANGUAGE FOR FORMAL DESCRIPTION OF REAL TIME SYSTEMS.
- F. Boussinot
- , R. Martin
- , G. Memmi
- , G. Ruggiu
- , J. Vapne
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review