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/fmcad/KatzBH15.rdf
Guy Katz et al.: Theory-Aided Model Checking of Concurrent Transition Systems. (2015) conf/fmcad/KatzBH15 10.1109/FMCAD.2015.7542256 Theory-Aided Model Checking of Concurrent Transition Systems. 3 Guy Katz 1 Clark W. Barrett 2 David Harel 3 81-88 FMCAD FMCAD 2015 2015 provenance information for RDF data of dblp record 'conf/fmcad/KatzBH15' 2023-06-26T20:45:03+0200