Research Catalog

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers

Title: Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers / Kim G. Larsen, Peter Niebert (eds.).
Author: FORMATS 2003 (1st : 2004 : Marseille, France)
Publication: Berlin : Springer, 2004.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-1139	Offsite

Details

Additional Authors

Description

viii, 280 p. : fig., tab.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 2791

Alternative Title

FORMATS 2003

Subjects

Bibliography (note)

Includes bibliographical references.

Call Number

JSE 04-1139

ISBN

3540216715 (pbk.)

OCLC

55018556

Conference

FORMATS 2003 (1st : 2004 : Marseille, France)

Title

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers / Kim G. Larsen, Peter Niebert (eds.).

Imprint

Berlin : Springer, 2004.

Series

Lecture notes in computer science, 0302-9743 ; 2791

Bibliography

Includes bibliographical references.

Added Author

Larsen, K. G. (Kim G.), 1957-

Niebert, Peter.

Research Call Number

JSE 04-1139

View in Legacy Catalog