DMCA

COMPUTATION TREE LOGIC WITH DEADLOCK DETECTION (2008)

by Rob Van Glabbeek A , Bas Luttik B C