List of Publications in BibTeX Format sorted by "Year"
Back
1 entry found.
@inproceedings{LWT11a,
author = {Matthias Woehrle and Kai Lampka and Lothar Thiele},
title = {Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems},
address = {Aalborg, Denmark},
booktitle = {Lecture Notes on Computer Science. Formal Modeling and Analysis of Timed Systems. 9th International Conference FORMATS 2011},
pages = {193--208},
publisher = {Springer, Heidelberg},
volume = {6919},
month = {Sep},
year = {2011}
}
1 entry found.
Back