%0 Thesis %1 phd/dnb/Farago16 %A Faragó, David %D 2016 %K %T Model Checking and Model-Based Testing: Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations.

@phdthesis{phd/dnb/Farago16, added-at = {2023-12-13T01:50:43.000+0100}, author = {Faragó, David}, biburl = {https://www.bibsonomy.org/bibtex/2eeebf8d552b97baa005f404a2c32084e/admin}, ee = {http://d-nb.info/1114273678}, interhash = {7741ba000a5b5ea3460897ae639a6d2d}, intrahash = {eeebf8d552b97baa005f404a2c32084e}, keywords = {}, school = {Karlsruhe Institute of Technology, Germany}, timestamp = {2023-12-13T01:50:43.000+0100}, title = {Model Checking and Model-Based Testing: Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations.}, year = 2016 }