Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings. : 4th international conference on formal modelling and analysis of timed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4202)

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings. : 4th international conference on formal modelling and analysis of timed systems : Sep 2006, Paris, France.

(Lecture Notes in Computer Science ; 4202)

Call No. (NDL): M17-07-157
Bibliographic ID of National Diet Library: 000008397837

Material type: 図書

Author: Laboratoire Specification et Verification (CNRS & ENS Cachan)ほか

Publisher: Springer

Publication date: c2006.

Material Format: Paper

Capacity, size, etc.: xi, 367 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Selected papers and an abstract."FORMATS aims to be a major annual event (...) " -- pref.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540450262 (pbk.)
9783540450269 (ISBN-13)
ISSN (series): 0302-9743
Title: Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings. : 4th international conference on formal modelling and analysis of timed systems : Sep 2006, Paris, France.
Series Title: Lecture Notes in Computer Science ; 4202
Title Heading: Lecture notes in computer science ; 4202.
Author Heading: Laboratoire Specification et Verification (CNRS & ENS Cachan)
Asarin, E. A. (Evgeniĭ Aleksandrovich)
Bouyer, Patricia, 1976-
LIAFA (CNRS and Universite Paris 7)
FORMATS 2006 (2006 : Paris, France)
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2006.
Publication Date (W3CDTF): 2006
Extent: xi, 367 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer simulation -- Congresses.
Temporal automata -- Congresses.
Formal methods (Computer science) -- Congresses.
Machine theory -- Congresses.
LCC: QA76.9.C65
NDLC: M17
Note (General): Selected papers and an abstract.
"FORMATS aims to be a major annual event (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-07-157
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008397837
http://id.ndl.go.jp/bib/000008397837
RLIN No.: CSUGA6647515-B
Bibliographic Record Category (NDL): 215