Tampere University of Technology

TUTCRIS Research Portal

Formal Methods in System Design (Journal)

Activity: Publication peer-review and editorial workMembership of an editorial board

Details

Antti Valmari - Editorial board member

2004

Country of activity

Publication forum classification

Related by journal

  1. Question-guided stubborn set methods for state properties

    Research output: Contribution to journalArticleScientificpeer-review

  2. Relaxed Visibility Enhances Partial Order Reduction

    Research output: Contribution to journalArticleScientificpeer-review

  3. A Stubborn Attack on State Explosion

    Research output: Contribution to journalArticleScientificpeer-review

ID: 808473