Analysis of Timed Concurrent Models Based on Testing Equivalence
Andreeva, Maria V., Bozhenkova, Elena N., Virbitskaite, Irina B.Volume:
43
Year:
2000
Journal:
Fundamenta Informaticae
DOI:
10.3233/fi-2000-43123401
File:
PDF, 1.00 MB
2000