| 000 | 00595nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1992 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aHalbwachs, Nicolas _9790447 |
||
| 100 |
_aLagnier, Fabienne _9790448 |
||
| 100 |
_aRatel, Christophe _9790450 |
||
| 245 | 0 | _aProgramming and Verifying Real-Time Systems by Means OfSysnchronous Data-Flow Language Lustre | |
| 300 | _a785-793 p. | ||
| 650 |
_a Formal Verification _9757309 |
||
| 650 |
_aModel Checking _9722400 |
||
| 650 |
_aSynchronous Motor _9742697 |
||
| 773 |
_d1992 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c749728 _d749729 |
||