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