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.uni-trier.de/rec/conf/sbcci/StoppeWD14.rdf
Jannis Stoppe et al.: Validating SystemC Implementations Against Their Formal Specifications. (2014) conf/sbcci/StoppeWD14 10.1145/2660540.2660981 Q59242328 Validating SystemC Implementations Against Their Formal Specifications. 3 Jannis Stoppe 1 Robert Wille 2 Rolf Drechsler 3 13:1-13:8 SBCCI SBCCI 2014 2014 provenance information for RDF data of dblp record 'conf/sbcci/StoppeWD14' 2023-09-30T09:55:46+0200