BibSonomy :: author :: Pu :: 2007

actions for all displayed bookmarks:

export:

RSS, BibTeX, XML

sort:

criterion: date, title
order: ascending, descending

others:

bookmarks per page: 5 10 20 50 100

actions for all displayed publications:

export:

RSS, BibTeX, RDF, more...

sort:

criterion: date, title
order: ascending, descending
advanced...

others:

publications per page: 5 10 20 50 100

No matching items.

Partition Refinement in Abstract Model Checking
Fei Pu, and Wenhui Zhang. Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on, page 209--218. (2007)
Fei Pu, and Wenhui Zhang. Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on, page 209--218. (2007)
4 years and 4 months ago
by leonardo
2
2007 refinement model_checking
URL DOI TeX
Formal Software Analysis Emerging Trends in Software Model Checking
Matthew B. Dwyer, John Hatcliff, Robby Robby, Corina S. Puasuareanu, and Willem Visser. Future of Software Engineering, 2007. FOSE '07, page 120--136. (2007)
Matthew B. Dwyer, John Hatcliff, Robby Robby, Corina S. Puasuareanu, and Willem Visser. Future of Software Engineering, 2007. FOSE '07, page 120--136. (2007)
4 years and 4 months ago
by leonardo
2
- 2007
- model_checking
2007 model_checking
URL DOI TeX
⟨⟨⟨1⟩⟩⟩

BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact