TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

DISCO Toolset - The New Generation

Tutkimustuotos

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. toim. / G. Schellhorn. 2000. s. 11-15.

Tutkimustuotos

Harvard

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

APA

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

Vancouver

Aaltonen T, Katara M, Pitkänen R. DISCO Toolset - The New Generation. julkaisussa Schellhorn G, toimittaja, 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. s. 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. Toimittaja / G. Schellhorn. 2000. Sivut 11-15

Bibtex - Lataa

@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) - Lataa

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 -