Towards a Formal Model of CyberRail

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, IFIP 18th World Computer Congress, - Toulouse, France Duration: 22 Aug 2004 → 27 Aug 2004

Conference	IFIP 18th World Computer Congress, IFIP 18th World Computer Congress,
Country/Territory	France
City	Toulouse
Period	22/08/2004 → 27/08/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",

address = "Netherlands",

note = "IFIP 18th World Computer Congress, IFIP 18th World Computer Congress, ; Conference date: 22-08-2004 Through 27-08-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, IFIP 18th World Computer Congress,

Y2 - 22 August 2004 through 27 August 2004

ER -