Online Public Access Catalogue (OPAC)Library,Documentation and Information Science Division
“A research journal serves that narrow
borderland which separates the known from the unknown”
-P.C.Mahalanobis
5.273 In61 119604
Katoen Joost-Pieter ed. International AMAST Workshop, ARTS'99 on Formal Methods For Real-time And Probabilistic Systems (5th : 26-28 May 1999 : Bamberg,Germany) International AMAST workshop, ARTS'99 on formal methods for real-time and probabilistic systems Bamberg, Germany 26-28 May 1999 Formal methods for real-time and probabilistic systems proceedings Berlin Springer-Verlag 1999 x,353p. 3-540-66010-0 * Real-time computer systems