Tampere University of Technology

TUTCRIS Research Portal

Alleviating State Explosion During Verification of Behavioral Equivalence

Research output: Book/ReportCommissioned reportProfessional

Details

Original languageEnglish
PublisherUniversity of Helsinki
Number of pages57
Publication statusPublished - 1992
Publication typeD4 Published development or research report or study

Publication series

NameReport of Dept. of Computer Science, University of Helsinki
PublisherUniversity of Helsinki
No.A-1991-4

Publication forum classification