iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/cad/Coy77.rdf
Wolfgang Coy: Zur automatischen Verifikation der funktionalen Spezifikation sequentieller Schaltungen. (1977) conf/cad/Coy77 10.1007/978-3-642-46361-7_14 Zur automatischen Verifikation der funktionalen Spezifikation sequentieller Schaltungen. 1 Wolfgang Coy 1 248-260 CAD-Fachgespräch CAD-Fachgespräch 1977 1977 provenance information for RDF data of dblp record 'conf/cad/Coy77' 2017-05-24T08:30:51+0200