Towards model checking OCL

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined
Title of host publicationDefining Precise Semantics for UML (satellite workshop of ECOOP 2000)
Place of PublicationCannes, France
Pages0-9
Number of pages10
Publication statusPublished - 21 Feb 2000

Keywords

  • METIS-119634

Cite this

Distefano, D. S., Katoen, J. P., & Rensink, A. (2000). Towards model checking OCL. In Defining Precise Semantics for UML (satellite workshop of ECOOP 2000) (pp. 0-9). Cannes, France.
Distefano, D.S. ; Katoen, Joost P. ; Rensink, Arend. / Towards model checking OCL. Defining Precise Semantics for UML (satellite workshop of ECOOP 2000). Cannes, France, 2000. pp. 0-9
@inproceedings{abb01e5639f941699ee902e5e96a9291,
title = "Towards model checking OCL",
keywords = "METIS-119634",
author = "D.S. Distefano and Katoen, {Joost P.} and Arend Rensink",
year = "2000",
month = "2",
day = "21",
language = "Undefined",
pages = "0--9",
booktitle = "Defining Precise Semantics for UML (satellite workshop of ECOOP 2000)",

}

Distefano, DS, Katoen, JP & Rensink, A 2000, Towards model checking OCL. in Defining Precise Semantics for UML (satellite workshop of ECOOP 2000). Cannes, France, pp. 0-9.

Towards model checking OCL. / Distefano, D.S.; Katoen, Joost P.; Rensink, Arend.

Defining Precise Semantics for UML (satellite workshop of ECOOP 2000). Cannes, France, 2000. p. 0-9.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Towards model checking OCL

AU - Distefano, D.S.

AU - Katoen, Joost P.

AU - Rensink, Arend

PY - 2000/2/21

Y1 - 2000/2/21

KW - METIS-119634

M3 - Conference contribution

SP - 0

EP - 9

BT - Defining Precise Semantics for UML (satellite workshop of ECOOP 2000)

CY - Cannes, France

ER -

Distefano DS, Katoen JP, Rensink A. Towards model checking OCL. In Defining Precise Semantics for UML (satellite workshop of ECOOP 2000). Cannes, France. 2000. p. 0-9