Christian Kroiß
Dipl.-Inf, wiss. Mitarbeiter
Tätigkeiten
- Aktueller Forschungsschwerpunkt: Simulation und statistisches Model-Checking von Logik-basierten Modellen für Multi-Agenten-Systeme (SALMA)
- Projekte:
- Publikationen
Abteilung
Programmierung und Softwaretechnik (PST), jetzt: Software and Computational Systems Lab (SoSy)
Institut für Informatik
Ludwig-Maximilians-Universität München
Büro
Oettingenstr. 67
Zimmer: F009
Anschrift
Institut für Informatik
Ludwig-Maximilians-Universität München
Oettingenstr. 67
D-80538 München
Germany
Tel.: +49-89-2180-9182
Fax: +49-89-2180-9175
Email: vorname.nachname@ifi.lmu.de (bitte substituieren)