|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Armin Biere, Edmund M. Clarke, Yunshan Zhu |
Combining Local and Global Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 34-45, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi |
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 11-22, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Somenzi |
Symbolic State Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 46-56, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Shankar G. Govindaraju, David L. Dill |
Approximate Symbolic Model Checking using Overlapping Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 23-33, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard |
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 88-107, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Felice Balarin |
Concurrent Symbolic Verification of Liveness Properties for Interleaved Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 1-10, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Orna Grumberg |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 127-128, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Renault, Eduard Cerny |
Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 57-74, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens |
Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 108-126, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke |
Model Checking Semi-Continuous Time Models Using BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 75-87, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Orna Grumberg (eds.) |
First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![Elsevier The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|