Formal Techniques in Real-Time and Fault-Tolerant Systems
                (FTRTFT98)

Anders P. Ravn; Hans Rischel

Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT98)

Anders P. Ravn (Editor)
, Hans Rischel (Editor)

Research output: Book/Report › Book › Research › peer-review

Abstract

Proceedings of the 5th International Symposium

Original language	English

Place of Publication	Berlin
Publisher	Springer
Number of pages	338
Publication status	Published - 1998
Event	5th International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems - Kgs. Lyngby, Denmark Duration: 14 Sept 1998 → 18 Sept 1998 Conference number: 5 http://www.informatik.uni-trier.de/~ley/db/conf/ftrtft/ftrtft1998.html

Conference

Conference	5th International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems
Number	5
Country/Territory	Denmark
City	Kgs. Lyngby
Period	14/09/1998 → 18/09/1998
Internet address	http://www.informatik.uni-trier.de/~ley/db/conf/ftrtft/ftrtft1998.html

OpenUrl availability

Check availability in DTU Findit

Cite this

@book{0a8299241fe84150804c7390233aa617,

title = "Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT98)",

abstract = "Proceedings of the 5th International Symposium",

editor = "Ravn, \{Anders P.\} and Hans Rischel",

year = "1998",

language = "English",

publisher = "Springer",

note = "5th International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98 ; Conference date: 14-09-1998 Through 18-09-1998",

url = "http://www.informatik.uni-trier.de/\textasciitilde{}ley/db/conf/ftrtft/ftrtft1998.html",

}

TY - BOOK

T1 - Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT98)

A2 - Ravn, Anders P.

A2 - Rischel, Hans

N1 - Conference code: 5

PY - 1998

Y1 - 1998

N2 - Proceedings of the 5th International Symposium

AB - Proceedings of the 5th International Symposium

M3 - Book

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT98)

PB - Springer

CY - Berlin

T2 - 5th International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems

Y2 - 14 September 1998 through 18 September 1998

ER -