000 00486nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540489849
100 _aHans Langmaack, Willem-Paul de Roever, Jan Vytopil
245 0 _aFormal Techniques in Real-Time and Fault-Tolerant Systems
250 _a1994
260 _bSpringer Berlin Heidelberg
_c1994
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/3-540-58468-4
999 _c26717
_d26717