Results
|
61.
|
|
|
62.
|
|
|
63.
|
|
|
64.
|
|
|
65.
|
|
|
66.
|
|
|
67.
|
|
|
68.
|
|
|
69.
|
|
|
70.
|
|
|
71.
|
|
|
72.
|
|
|
73.
|
|
|
74.
|
|
|
75.
|
Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures / by Series: Lecture Notes in Computer Science ; 3185
Edition: 1st ed. 2004.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
76.
|
|
|
77.
|
|
|
78.
|
|
|
79.
|
|
|
80.
|
|