Sökning: "Barbara König"
Hittade 2 avhandlingar innehållade orden Barbara König.
1. Combinatorial Slice Theory
Sammanfattning : Slices are digraphs that can be composed together to form larger digraphs.In this thesis we introduce the foundations of a theory whose aim is to provide ways of defining and manipulating infinite families of combinatorial objects such as graphs, partial orders, logical equations etc. LÄS MER
2. Verification of networks of communicating processes : Reachability problems and decidability issues
Sammanfattning : Computer systems are used in almost all aspects of our lives and our dependency on them keeps on increasing. When computer systems are used to handle critical tasks, any software failure can cause severe human and/or material losses. LÄS MER
Resultatsidor:
1