Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SMC@FLoC"( http://dblp.L3S.de/Venues/SMC@FLoC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/floc

Publication years (Num. hits)
1999 (11)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
SMC@FLoC(11)
Authors
Alessandro Cimatti(2) Edmund M. Clarke(2) Orna Grumberg(2) Andreas Kuehlmann(1) Armin Biere(1) David L. Dill(1) Eduard Cerny(1) Fabio Somenzi(1) Felice Balarin(1) Gila Kamhi(1) Henrik Hulgaard(1) Henrik Reif Andersen(1) Jakob Lichtenberg(1) Jean-François Raskin(1) Jesper B. Møller(1) Laurent Ferier(1) More (+10 of total 26)
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
1Armin Biere, Edmund M. Clarke, Yunshan Zhu Combining Local and Global Model Checking. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fabio Somenzi Symbolic State Exploration. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Shankar G. Govindaraju, David L. Dill Approximate Symbolic Model Checking using Overlapping Projections. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Felice Balarin Concurrent Symbolic Verification of Liveness Properties for Interleaved Models. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Orna Grumberg Preface. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sophie Renault, Eduard Cerny Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Laurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke Model Checking Semi-Continuous Time Models Using BDDs. Search on Bibsonomy SMC@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alessandro 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 SMC@FLoC The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license