Title

AUTOMATED-ANALYSIS OF CONCURRENT SYSTEMS WITH THE CONSTRAINED EXPRESSION TOOLSET

Publication Date

1991

Journal or Book Title

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Pages

1204-1222

Volume

17

Issue

11

This document is currently not available here.

Share

COinS