Personensuche
X
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
1
Refinements for Open Automata:
, In:
?
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ,
3
Symbolic bisimulation for open and parameterized systems:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
6
Verification of Concurrent Design Patterns with Data:
, In:
?
10
Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, ...
Lecture Notes in Computer Science ; 8997;SpringerLink, Bücher
?
Proceedings of the 8th International Conference on Utility and Cloud Computing ,
11
Scheduling live-migrations for fast, adaptable and energy-e..:
, In:
?
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing ,
12