Concurrent LSC Verification - On Decomposition Properties of Partially Ordered Symbolic Automata - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Concurrent LSC Verification - On Decomposition Properties of Partially Ordered Symbolic Automata

Concurrent LSC Verification - On Decomposition Properties of Partially Ordered Symbolic Automata

Export

All authors

Toben, Tobe and Westphal, Bernd

Publishing date

01 / 2006

Type of Publication

inproceedings

Publisher

Elsevier B.V.

Series

ENTCS

Pages

95-111

Edition

145

Privacy Data Transparency Contact Legals