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/nfm/BrunnerL16.rdf
Julian Brunner and Peter Lammich: Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. (2016) conf/nfm/BrunnerL16 10.1007/978-3-319-40648-0_23 Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. 2 Julian Brunner 0001 1 Peter Lammich 2 307-321 NFM NFM 2016 2016 provenance information for RDF data of dblp record 'conf/nfm/BrunnerL16' 2019-09-05T14:51:32+0200