scientific article
From MaRDI portal
Publication:2722032
zbMath0966.68149MaRDI QIDQ2722032
David Gilbert, Alexander Letichevsky
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Generating symbolic traces in the insertion modeling system ⋮ Modeling method for development of digital system algorithms based on programmable logic devices ⋮ Properties of a predicate transformer of the VRS system ⋮ Predicate transformers in the context of symbolic modeling of transition systems ⋮ Modern methods and software systems of molecular modeling and application of behavior algebra ⋮ Insertion semantics of VHDL as electronic design languge
Uses Software
This page was built for publication:
