Full name Familienname, Vorname
König, Barbara
 

Results 1-1 of 1 (Search time: 0.001 seconds).

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Sokolova, Ana ; Woracek, Harald ; Bonchi, Philippo ; König, Barbara Termination in Convex Sets of DistributionsKonferenzbeitrag Inproceedings2017
2Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut ; Flanagan, Cormac ; König, Barbara Proving Reachability Using FShellKonferenzbeitrag Inproceedings 2012