Modeling and Verifiying Parallel Processes

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Abstract

Invited presentation.

Original language	English
Title of host publication	Proceedings of MOVEP 2004
Editors	Jean-Francois Raskin
Publication date	2004
Publication status	Published - 2004
Event	MOVEP 2004 - Bruxelle, Belgium Duration: 13 Dec 2004 → 17 Dec 2004 Conference number: 6

@inproceedings{1b8521a09c2e11db8ed6000ea68e967b,

title = "Modeling and Verifiying Parallel Processes",

abstract = "Invited presentation.",

keywords = "optimal scheduling, priced timed automata",

author = "Larsen, {Kim Guldstrand}",

year = "2004",

language = "English",

editor = "Jean-Francois Raskin",

booktitle = "Proceedings of MOVEP 2004",

note = "MOVEP 2004 ; Conference date: 13-12-2004 Through 17-12-2004",

}

TY - GEN

T1 - Modeling and Verifiying Parallel Processes

AU - Larsen, Kim Guldstrand

N1 - Conference code: 6

PY - 2004

Y1 - 2004

N2 - Invited presentation.

AB - Invited presentation.

KW - optimal scheduling

KW - priced timed automata

M3 - Article in proceeding

BT - Proceedings of MOVEP 2004

A2 - Raskin, Jean-Francois

T2 - MOVEP 2004

Y2 - 13 December 2004 through 17 December 2004

ER -