Title

CONSTRAINED EXPRESSIONS - ADDING ANALYSIS CAPABILITIES TO DESIGN METHODS FOR CONCURRENT SOFTWARE SYSTEMS

Publication Date

1986

Journal or Book Title

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Pages

278-291

Volume

12

Issue

2

This document is currently not available here.

Share

COinS