TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Exploring the scope for partial order reduction

Aktiviteetti: Konferenssiesitelmä

Yksityiskohdat

Jacobus Geldenhuys - Speaker

2009

Tapahtuma (null)

Teoksen nimiAutomated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings. LNCS
Ajanjakso1/01/09 → …

Country of activity

Publication forum classification

ID: 12410164