Publication Overview

C. Baier and H. Hermanns and J.-P. Katoen and V. Wolf

Comparative Branching-Time Semantics

Published in: CONCUR
Year: 2003
Pages: 482-497