Wyniki wyszukiwania dla: H. Rueß
Polymer Degradation and Stability > 2017 > 143 > C > 196-206
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite State Systems: Deduction and Abstraction > 113-127
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 239-254
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 459-472