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.uni-trier.de/rec/conf/icalp/Lampis13.rdf
Michael Lampis: Model Checking Lower Bounds for Simple Graphs. (2013) conf/icalp/Lampis13 10.1007/978-3-642-39206-1_57 Model Checking Lower Bounds for Simple Graphs. 1 Michael Lampis 1 673-683 ICALP (1) ICALP (1) 2013 2013 provenance information for RDF data of dblp record 'conf/icalp/Lampis13' 2017-05-23T01:08:21+0200