scientific article
From MaRDI portal
Publication:4028156
zbMath0794.68141MaRDI QIDQ4028156
David Déharbe, Stefan Höreth, Dominique Borrione, Hans Eveking
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hardware description languagessymbolic model-checkingBDD-based proof methodssynchronous finite-state machines
This page was built for publication: