Skip to content
No results
  • Home
  • About VCLA
  • Activities & Events
    • All Talks
    • List of Visitors
    • LogicLounge
    • VCLA Student Awards
    • Helmut Veith Stipend
    • Women in Logic
    • Science Education
    • Vienna Ball of Sciences
  • Graduate Studies
  • LogiCS@TUWien
    • Programme
    • Training
    • Researchers
    • Supervisors
    • Team
    • Student Guide Vienna
    • FAQ
  • Open Positions
  • IN MEMORIAM
  • Press
  • Contact
Vienna Center for Logic and Algorithms
Vienna Center for Logic and Algorithms
  • Home
  • About VCLA
  • Activities & Events
    • All Talks
    • List of Visitors
    • LogicLounge
    • VCLA Student Awards
    • Helmut Veith Stipend
    • Women in Logic
    • Science Education
    • Vienna Ball of Sciences
  • Graduate Studies
  • LogiCS@TUWien
    • Programme
    • Training
    • Researchers
    • Supervisors
    • Team
    • Student Guide Vienna
    • FAQ
  • Open Positions
  • IN MEMORIAM
  • Press
  • Contact
Vienna Center for Logic and Algorithms
Vienna Center for Logic and Algorithms

Thomas A. Henzinger

Formal Specification and Verification of Markovian Population Models

At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.

  • Thomas PaniThomas Pani
  • January 28, 2012
  • Talks

At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.

Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung.

 

 

VCLA – Vienna Center for Logic and Algorithms
TU Wien, Favoritenstraße 9-11, 1040 Wien, Austria

TU Wien Informatics

Privacy Policy | Impressum