VLSI design methods : proceedings of the IFIP WG 10.2/WG 10.5 international workshop on applied formal methods for correct VLSI Design [...], Houthalen, Belgium, 13-16 November, 1989 / Luc J.M. Claesen

rdfs:label "VLSI design methods : proceedings of the IFIP WG 10.2/WG 10.5 international workshop on applied formal methods for correct VLSI Design [...], Houthalen, Belgium, 13-16 November, 1989 / Luc J.M. Claesen"
schema:name "VLSI design methods : proceedings of the IFIP WG 10.2/WG 10.5 international workshop on applied formal methods for correct VLSI Design [...], Houthalen, Belgium, 13-16 November, 1989"
schema:contributor Claesen, Luc J.M.
schema:sameAs <http://www.worldcat.org/oclc/769374415>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/c83242c71c58c346d1ed2a8da2208448>
http://purl.org/dc/terms#issued "1990"
schema:inLanguage "en"
schema:isPartOf VLSI design methods : proceedings of the IFIP WG 10.2/WG 10.5 international workshop on applied formal methods for correct VLSI Design [...], Houthalen, Belgium, 13-16 November, 1989 / edited by Luc J.M. Claesen
schema:isbn "044488372X"
schema:issueNumber 10
schema:numberOfPages 414
schema:publication <https://data.bibliotheken.nl/.well-known/genid/a40e368121f5fbc10cf93643f948a175>