pdfreaders.org

Tests and Proofs - 6th International Conference, TAP 2012, Praque, Czech Republic, Mai 31 - June 1, 2012. Proceedings

Achim D. Brucker und Jacques Julliand

Schlüsselwörter:
Kategorien: ,
Dokumente:

QR Code for brucker.ea:tap:2012.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und Jacques Julliand. Tests and Proofs - 6th International Conference, TAP 2012, Praque, Czech Republic, Mai 31 - June 1, 2012. Proceedings. In Springer-Verlag, 2012.
(BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-30473-6) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@Proceedings{ brucker.ea:tap:2012,
address = {Heidelberg},
doi = {10.1007/978-3-642-30473-6},
editor = {Achim D. Brucker and Jacques Julliand},
isbn = {978-3-642-21767-8},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {Tests and Proofs - 6th International Conference, TAP 2012, Praque, Czech Republic, Mai 31 -- June 1, 2012. Proceedings},
url = {https://www.brucker.ch/bibliography/abstract/brucker.ea-tap-2012},
volume = {7305},
year = {2012},
}