Tampere University of Technology

TUTCRIS Research Portal

DISCO Toolset - The New Generation

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Standard

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 proceedingConference contributionScientific

Harvard

Aaltonen, T, Katara, M & Pitkänen, R 2000, DISCO Toolset - The New Generation. in G Schellhorn (ed.), 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. pp. 11-15.

APA

Aaltonen, T., Katara, M., & Pitkänen, R. (2000). DISCO Toolset - The New Generation. In G. Schellhorn (Ed.), 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 (pp. 11-15)

Vancouver

Aaltonen T, Katara M, Pitkänen R. DISCO Toolset - The New Generation. In Schellhorn G, editor, 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. 2000. p. 11-15

Author

Aaltonen, T. ; Katara, M. ; Pitkänen, R. / DISCO Toolset - The New Generation. 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. editor / G. Schellhorn. 2000. pp. 11-15

Bibtex - Download

@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",

}

RIS (suitable for import to EndNote) - Download

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 -