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

@article{TUW-254951,
    author = {Bartocci, Ezio and Ramakrishnan, C.R.},
    title = {Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software},
    journal = {International Journal on Software Tools for Technology Transfer},
    year = {2016},
    volume = {18},
    pages = {355--357},
    doi = {10.1007/s10009-016-0414-5}
}


1 Datensatz ausgegeben