Tampere University of Technology

TUTCRIS Research Portal

Unbounded Verification Resu|ts by Finite-State Compositional Techniques: 10 any States and Beyond

Activity: Talk or presentationConference presentation

Details

Antti Valmari - Speaker

1996

Event (Conference)

TitleWorkshop on Automated Formal Methods, Oxford University, 19-21 June, 1996
Period1/01/96 → …

Country of activity

Publication forum classification

ID: 12416702