BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
Collaborated with:

Talks about:
prove (2) term (2) transfer (1) sequenti (1) behavior (1) without (1) correct (1) rewrit (1) regist (1) assist (1)

Person: Matthias Mutz

DBLP DBLP: Mutz:Matthias

Contributed to:

DATE 19981998
CAV 19911991

Wrote 2 papers:

DATE-1998-Mutz #modelling
Register Transfer Level VHDL Models without Clocks (MM), pp. 153–158.
CAV-1991-Mutz #behaviour #correctness #proving #term rewriting #using
Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior (MM), pp. 277–287.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.