BibSonomy :: bibtex  ::

publications

(2)

• Specification-based Testing with Linear Temporal Logic
  Li Tan and Oleg Sokolsky and Insup Lee IRI 493--498 (2004)
  to LTL automated generation singlesystem specification-based test by ist_spl on 2008-05-15 09:47:38
  | BibTeX  
• Specification-based Testing with Linear Temporal Logic.
  Li Tan and Oleg Sokolsky and Insup Lee IRI 493-498 (2004)
  to dblp by dblp on 2004-12-02 00:00:00
  | URL | BibTeX