Jesper Blak Møller

Søgeord

DTU Informatics

Technical University of Denmark

Technical University of Denmark

Education

MSc degree programme

DTU Informatics bookshop

Research

Algorithms and Logic

Cognitive Systems

Dynamical Systems

Image Analysis & Computer Graphics

Language-Based Technology

Mathematical Statistics

Scientific Computing

Software Engineering

Research centers

Industrial collaboration

Industrial collaboration

Public sector consultancy

Advanced Technology Foundation Projects

Continuing education

Model-based Software Engineering Center

Software Development Center

Statistical Consulting Center

About DTU Informatics

About DTU Informatics

Facts about DTU Informatics

Getting to DTU Informatics

Information material

Find the expert

Alumni association (in Danish)

News

News Archive at DTU Informatics

Calendar at DTU Informatics

	Contact

	Employees

	Facts about DTU Informatics

	Getting to DTU Informatics

	Advisory Board

	Information material

	Find the expert

	Organisation

	Vision

	Available jobs

	Library

	Portalen DTU

	Alumni association (in Danish)

Jesper Blak Møller External Associate Professor

DTU Compute Department of Applied Mathematics and Computer Science Technical University of Denmark Matematiktorvet Building 303 B, room 2800 Kgs. Lyngby Denmark Email

All

Dissertation (0)

Year

On the Symbolic Verification of Timed Systems

Møller, Jesper Blak ; Lichtenberg, Jakob ; Andersen, Henrik Reif ; Hulgaard, Henrik

Type: Report - Report

1999

Difference Decision Diagrams

Møller, Jesper Blak ; Lichtenberg, Jakob ; Andersen, Henrik Reif ; Hulgaard, Henrik

Type: Report - Report

1999

1

Matematiktorvet

DTU - Building 303B

DK-2800 Kgs. Lyngby

Tel +45 4525 3031

EAN 5798000428515