BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-141083,
    author = {Kandl, Susanne},
    title = {Abstraction Techniques for Extracted Automata Models},
    booktitle = {Junior Researcher Workshop on Real-Time Computing 2007 (JRWRTC'07)},
    year = {2007},
    pages = {35--38},
    keywords = {Modeling, Abstraction, Predicate Abstraction, Model Checking, Test Case Generation},
    note = {talk: International Conference on Real-Time and Network Systems (RTNS), Nancy; 2007-03-29 -- 2007-03-30}
}


1 Datensatz ausgegeben