Publication:3128862
From MaRDI portal
zbMath0909.68001MaRDI QIDQ3128862
No author found.
Publication date: 21 April 1997
00B15: Collections of articles of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
90-06: Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
An engineering process for the verification of real-time systems, A timeband framework for modelling real-time systems, On performance congruences for process algebras, Induction in the timed interval calculus, Applying string-rewriting to sequence-based specification, Interval Duration Logic, Towards Modelling Obligations in Event-B