Markus Latte und Martin Lange - Info zur Person

(1 - 6 von 9

)

dblp: Martin Lange

dblp.org

List of computer science publications by Martin Lange

A Decision Procedure for CTL* Based on Tableaux and Automatalink.springer.com › chapter

link.springer.com

Oliver Friedmann; Markus Latte; Martin Lange. Oliver Friedmann. 1. Markus Latte. 1. Martin Lange Dept. of Computer ScienceUniversity of MunichGermany ...

Alle Infos zum Namen "Markus Latte"

Markus Latte's Homepage - LMU, Informatik, TCSwww2.tcs.ifi.lmu.de › ~latte

www2.tcs.ifi.lmu.de

· Oliver Friedmann, Markus Latte, and Martin Lange Satisfiability Games for Branching-Time Logics Logical Methods in Computer Science, ...

Ludwig-Maximilians-Universität München SoSe Institut für ...docplayer.org › Ludwig-maximilians-universitaet-muenchen-so...

docplayer.org

Ludwig-Maximilians-Universität München SoSe Institut für Informatik PD Dr. Martin Lange Dipl.-Inf. Markus Latte 25. Juni

CiteSeerX — A Decision Procedure for CTL* Based on Tableaux and...

citeseerx.ist.psu.edu

BibTeX. @INPROCEEDINGS{Friedmann10adecision, author = {Oliver Friedmann and Markus Latte and Martin Lange}, title = {A Decision Procedure for CTL* ...