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

2007

Majster-Cederbaum, Mila ; Martens, Moritz ; Minnameier, Christoph ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph A Polynomial-Time checkable sufficient Condition for Deadlock-Freedom of Component-Based Systems. Leeuwen, Jan van Lecture Notes in Computer Science 4362 888-899 In: SOFSEM 2007: Theory and Practice of Computer Science : 33rd Conference on Current Trends in Theory and Practice of Computer Science; Harrachov, Czech Republic, January 20-26, 2007; proceedings (2007) Berlin [u.a.] [Conference or workshop publication]

Majster-Cederbaum, Mila ; Martens, Moritz ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph ; Minnameier, Christoph An Approach to Modelling and Verification of Component Based Systems. SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings In: SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings (2007) Berlin; Heidelberg [u.a.] [Conference or workshop publication]

Majster-Cederbaum, Mila ; Martens, Moritz ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph Ensuring Properties of Interaction Systems by Construction. (2007) Berlin; Heidelberg [Conference or workshop publication]

This list was created automatically on Sun Jul 25 06:55:46 2021 CEST