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

@inproceedings{TUW-209921,
    author = {Volcic, Mark and Blieberger, Johann and Sch{\"o}bel, Andreas},
    title = {Kronecker Algebra based Travel Time Analysis for Railway Systems},
    booktitle = {Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems},
    year = {2012},
    pages = {273--281},
    publisher = {Inst. f. Verkehrssicherheit und Automatisierungstechnik},
    isbn = {978-3-9803363-3-8},
    note = {talk: Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig; 2012-12-12 -- 2012-12-13}
}


1 Datensatz ausgegeben