DISCO Toolset - The New Generation

T. Aaltonen; M. Katara; R. Pitkänen

DISCO Toolset - The New Generation

T. Aaltonen, M. Katara, R. Pitkänen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

Translated title of the contribution	DISCO Toolset - The New Generation
Original language	English
Title of host publication	FM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification, Reisenburg Castle near Ulm, Germany, Monday 10 July - Thursday 13 July 2000
Editors	G. Schellhorn
Pages	11-15
Publication status	Published - 2000
Publication type	B3 Article in conference proceedings

Publication forum classification

No publication forum level

Cite this

@inproceedings{5777cad99fb5481bb3d1219cbcd6ef62,

title = "DISCO Toolset - The New Generation",

author = "T. Aaltonen and M. Katara and R. Pitk{\"a}nen",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2000",

language = "English",

pages = "11--15",

editor = "G. Schellhorn",

booktitle = "FM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification, Reisenburg Castle near Ulm, Germany, Monday 10 July - Thursday 13 July 2000",

}

DISCO Toolset - The New Generation. / Aaltonen, T.; Katara, M.; Pitkänen, R.

FM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification, Reisenburg Castle near Ulm, Germany, Monday 10 July - Thursday 13 July 2000. ed. / G. Schellhorn. 2000. p. 11-15.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

TY - GEN

T1 - DISCO Toolset - The New Generation

AU - Aaltonen, T.

AU - Katara, M.

AU - Pitkänen, R.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 11

EP - 15

BT - FM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification, Reisenburg Castle near Ulm, Germany, Monday 10 July - Thursday 13 July 2000

A2 - Schellhorn, G.

ER -