Towards a Formal Model of CyberRail

Dines Bjørner, René Jacquart (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

In: Building the Information Society

Original language	English
Title of host publication	IFIP 18th World Computer Congress, Toulouse, France
Publisher	Kluwer Academic Publishers
Publication date	2004
Pages	657-664
Publication status	Published - 2004
Event	IFIP 18th World Computer Congress, - Toulouse, France Duration: 1 Jan 2004 → …

Conference	IFIP 18th World Computer Congress,
City	Toulouse, France
Period	01/01/2004 → …

@inproceedings{ed3ed9896c7843e4a77791d5cbe8142b,

title = "Towards a Formal Model of CyberRail",

abstract = "In: Building the Information Society",

author = "Dines Bj{\o}rner and Ren{\'e} Jacquart",

year = "2004",

language = "English",

pages = "657--664",

booktitle = "IFIP 18th World Computer Congress, Toulouse, France",

publisher = "Kluwer Academic Publishers",

note = "IFIP 18th World Computer Congress, ; Conference date: 01-01-2004",

}

TY - GEN

T1 - Towards a Formal Model of CyberRail

AU - Bjørner, Dines

A2 - Jacquart, René

PY - 2004

Y1 - 2004

N2 - In: Building the Information Society

AB - In: Building the Information Society

M3 - Article in proceedings

SP - 657

EP - 664

BT - IFIP 18th World Computer Congress, Toulouse, France

PB - Kluwer Academic Publishers

T2 - IFIP 18th World Computer Congress,

Y2 - 1 January 2004

ER -