Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 1.

Conference or workshop publication

Majster-Cederbaum, Mila ; Salger, Frank ; Sorea, Maria A priori verification of reactive systems. Bolognesi, Tommaso IFIP Advances in Information and Communication Technology 55 35-50 In: Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6, FORTE XIII and PSTV XX, October 10-13, 2000, Pisa, Italy (2000) Boston, Mass. [Conference or workshop publication]

This list was created automatically on Wed Dec 1 05:05:58 2021 CET