Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005)

Conference Proceedings
Editor(s):Bernhard Beckert
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:3702
Year:2005

BibTeX

@Proceedings{Beckert05,
   editor        = {Bernhard Beckert},
   title         = {14th International Conference on Automated Reasoning with
                    Analytic Tableaux and Related Methods ({TABLEAUX} 2005)},
   year          = {2005}, 
   volume        = {3702},
   series        = {Lecture Notes in Computer Science},
   publisher     = {Springer}
}