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/journals/entcs/BrimCMS06.rdf
Lubos Brim et al.: How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. (2005) journals/entcs/BrimCMS06 10.1016/J.ENTCS.2005.10.015 How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. 4 Lubos Brim 1 Ivana Cerná 2 Pavel Moravec 0002 3 Jirí Simsa 4 3-18 PDMC@ICALP PDMC@ICALP 2005 2006 provenance information for RDF data of dblp record 'journals/entcs/BrimCMS06' 2022-12-15T14:10:12+0100