TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Bisimilarity minimization in O (m log n) time

Aktiviteetti: Konferenssiesitelmä

Yksityiskohdat

Antti Valmari - Speaker

2009

Tapahtuma (null)

Teoksen nimiApplications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. LNCS
Ajanjakso1/01/09 → …

Country of activity

Publication forum classification

ID: 12388337