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 ; Minnameier, Christoph Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-based Systems. Bournez, Olivier Lecture Notes in Computer Science 5697 189-202 In: Reachability problems : Third International Workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009; proceeding (2009) Berlin [u.a.] [Conference or workshop publication]

This list was created automatically on Fri Feb 3 04:40:15 2023 CET