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:
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) (
)
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}, |