Improved On-the-fly Verification with Testers

Research output: Contribution to journalArticleScientificpeer-review

Researchers

  • Timo Latvala
  • Heikki Tauriainen

Research units

Details

Original languageEnglish
Pages (from-to)148-164
JournalNordic Journal of Computing
Volume11
Issue number2
Publication statusPublished - 2004
MoE publication typeA1 Journal article-refereed

    Research areas

  • algorithms, on-the-fly verification, testers

ID: 3492583