| 000 | 01149nam a2200277 a 4500 | ||
|---|---|---|---|
| 001 | vtls000023595 | ||
| 003 | KUKTEM | ||
| 005 | 20251117144452.0 | ||
| 008 | 080118s2006 gw f 001 0 eng|d | ||
| 020 | _a3540450262 | ||
| 020 | _a9783540450269 | ||
| 039 | 9 |
_a201107131949 _bVLOAD _c200908141402 _dVLOAD _c200908141334 _dVLOAD _c200908131731 _dVLOAD _y200801180937 _zkam |
|
| 040 | _aUMP | ||
| 090 | _aQA76.9.C65 F67 2006 | ||
| 100 | 1 |
_aFORMATS 2006 _n(4th : _d2006 : _cParis, France) |
|
| 245 | 1 | 0 |
_aFormal modeling and analysis of timed systems : _b4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / _cEugene Asarin, Patricia Bouyer (eds.) |
| 260 |
_aBerlin : _bSpringer, _c2006 |
||
| 300 |
_a367 p. : _bill. ; _c24 cm. |
||
| 440 | 0 |
_aLecture notes in computer science; _v4202 |
|
| 650 | 0 |
_aComputer simulation _vCongresses |
|
| 650 | 0 |
_aTemporal automata _vCongresses |
|
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses |
|
| 700 | 1 | _aAsarin, Eugene | |
| 700 | 1 | _aBouyer, Patricia | |
| 999 |
_aVIRTUA40 _c36964 _d36970 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*4400*6500*6501*6502*7000*7001*9991 | ||