TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Formal Methods in System Design (Lehti)

Aktiviteetti: Toimituskunnan jäsenyys

Yksityiskohdat

Antti Valmari - Toimituskunnan jäsen

2005

Country of activity

Publication forum classification

Lehteen liittyvää

  1. Question-guided stubborn set methods for state properties

    Tutkimustuotosvertaisarvioitu

  2. Relaxed Visibility Enhances Partial Order Reduction

    Tutkimustuotosvertaisarvioitu

  3. A Stubborn Attack on State Explosion

    Tutkimustuotosvertaisarvioitu

ID: 823033