Modeling and Verifiying Parallel Processes

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Abstract

Invited presentation.

Originalsprog	Engelsk
Titel	Proceedings of MOVEP 2004
Redaktører	Jean-Francois Raskin
Publikationsdato	2004
Status	Udgivet - 2004
Begivenhed	MOVEP 2004 - Bruxelle, Belgien Varighed: 13 dec. 2004 → 17 dec. 2004 Konferencens nummer: 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 -