|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ofer Strichman, Armin Biere (eds.) |
Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@FLoC ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | João Marques-Silva 0001 |
Interpolant Learning and Reuse in SAT-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@FLoC ![In: Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006, pp. 31-43, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Marc Herbstritt, Bernd Becker 0001, Martin Steffen |
Bounded Model Checking with Parametric Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@FLoC ![In: Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006, pp. 3-16, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Strichman, Armin Biere |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@FLoC ![In: Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xuandong Li, Sumit Jha Aanand, Lei Bu |
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@FLoC ![In: Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006, pp. 57-70, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paul B. Jackson, Daniel Sheridan |
A Compact Linear Translation for Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@FLoC ![In: Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006, pp. 17-30, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Toni Jussila, Armin Biere |
Compressing BMC Encodings with QBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@FLoC ![In: Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006, pp. 45-56, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|