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/fm/BenesBDPS16.rdf
Nikola Benes et al.: A Model Checking Approach to Discrete Bifurcation Analysis. (2016) conf/fm/BenesBDPS16 10.1007/978-3-319-48989-6_6 A Model Checking Approach to Discrete Bifurcation Analysis. 5 Nikola Benes 1 Lubos Brim 2 Martin Demko 3 Samuel Pastva 4 David Safránek 5 85-101 FM FM 2016 2016 provenance information for RDF data of dblp record 'conf/fm/BenesBDPS16' 2022-10-02T16:01:26+0200