Reference : Generation and State-Space Reduction of Program Graphs for Non-deterministic Programs |
Dissertations and theses : Bachelor/master dissertation | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/42693 | |||
Generation and State-Space Reduction of Program Graphs for Non-deterministic Programs | |
English | |
Steen, Alexander ![]() | |
31-Jan-2013 | |
Freie Universität Berlin, Berlin, Germany | |
Bachelor in Computer Science (B.Sc.) | |
Kyas, Marcel | |
Fehr, Elfriede | |
[en] Software verification ; Data structures ; Formal Methods | |
Researchers | |
http://hdl.handle.net/10993/42693 |
There is no file associated with this reference.
All documents in ORBilu are protected by a user license.