Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Li-Fu Wang" ( http://dblp.L3S.de/Authors/Li-Fu_Wang )

  Author page on DBLP  Author page in RDF  Community of Li-Fu Wang in ASPL-2

Publication years (Num. hits)
2006 (1) 2007 (1)
Publication types (Num. hits)
article(2)
Venues (Conferences, Journals, ...)
J. Comput. Sci. Technol.(2)
Authors
Li-Fu Wang(2) Zhi-Hong Tao(2) Cong-Hua Zhou(1) Hans Kleine Büning(1) Zhong Chen(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Zhi-Hong Tao, Cong-Hua Zhou, Zhong Chen, Li-Fu Wang Bounded Model Checking of CTL. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF symbolic model checking, bounded model checking, QBF, CTL*
1Zhi-Hong Tao, Hans Kleine Büning, Li-Fu Wang Direct Model Checking Matrix Algorithm. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF direct model checking (DMC), Kripke semantics structure, CTL logic, matrix algorithm
Displaying result #1 - #2 of 2 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.