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/atva/BenesBDPS16.rdf
Nikola Benes et al.: Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. (2016) conf/atva/BenesBDPS16 10.1007/978-3-319-46520-3_13 Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. 5 Nikola Benes 1 Lubos Brim 2 Martin Demko 3 Samuel Pastva 4 David Safránek 5 192-208 ATVA ATVA 2016 2016 provenance information for RDF data of dblp record 'conf/atva/BenesBDPS16' 2022-10-02T15:55:12+0200