BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-171001, author = {Mittermayr, Robert and Blieberger, Johann}, title = {Static Partial-Order Reduction of Concurrent Systems in Polynomial Time}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation}, year = {2008}, pages = {619--633}, publisher = {Springer Berlin Heidelberg}, address = {17}, isbn = {978-3-540-88478-1}, note = {talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; 2008-10-13 -- 2008-10-15} } 1 Datensatz ausgegeben