小不点搜索 登录

Failure-based Equivalences Are Faster Than Many Believe

[图书] Failure-based Equivalences Are Faster Than Many Believe It has been known at least since 1983 that the checking of failure equivalence of two lab...