default search action
Formal Methods in System Design, Volume 3
Volume 3, Number 1/2, 1993
- Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka:
Mechanizing Some Advanced Refinement Concepts. 49-81 - Roger Hale, Rachel Cardell-Oliver, John Herbert:
An Embedding of Timed Transition Systems in HOL. 151-174
Volume 3, Number 3, 1993
- James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland:
Using Transformations and Verification in Circuit Design. 181-209 - Jo C. Ebergen, Ad M. G. Peeters:
Design and Analysis of Delay-Insensitive Modulo-N Counters. 211-232
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2015-03-04 00:16 CET by the dblp team