Multi-terminal decision diagrams: a data structure for numerical integration

C Baier, H. Hermanns, Joost P. Katoen

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

Original languageUndefined
Title of host publication1st FLOC Workshop on symbolic Model Checking
Place of PublicationTrento (Italy)
Pages-
Number of pages12
Publication statusPublished - 1 Feb 1999

Keywords

  • METIS-119607

Cite this

Baier, C., Hermanns, H., & Katoen, J. P. (1999). Multi-terminal decision diagrams: a data structure for numerical integration. In 1st FLOC Workshop on symbolic Model Checking (pp. -). Trento (Italy).
Baier, C ; Hermanns, H. ; Katoen, Joost P. / Multi-terminal decision diagrams: a data structure for numerical integration. 1st FLOC Workshop on symbolic Model Checking. Trento (Italy), 1999. pp. -
@inproceedings{8c8350668b134a1293f1500d8a70799a,
title = "Multi-terminal decision diagrams: a data structure for numerical integration",
keywords = "METIS-119607",
author = "C Baier and H. Hermanns and Katoen, {Joost P.}",
year = "1999",
month = "2",
day = "1",
language = "Undefined",
pages = "--",
booktitle = "1st FLOC Workshop on symbolic Model Checking",

}

Baier, C, Hermanns, H & Katoen, JP 1999, Multi-terminal decision diagrams: a data structure for numerical integration. in 1st FLOC Workshop on symbolic Model Checking. Trento (Italy), pp. -.

Multi-terminal decision diagrams: a data structure for numerical integration. / Baier, C; Hermanns, H.; Katoen, Joost P.

1st FLOC Workshop on symbolic Model Checking. Trento (Italy), 1999. p. -.

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

TY - GEN

T1 - Multi-terminal decision diagrams: a data structure for numerical integration

AU - Baier, C

AU - Hermanns, H.

AU - Katoen, Joost P.

PY - 1999/2/1

Y1 - 1999/2/1

KW - METIS-119607

M3 - Conference contribution

SP - -

BT - 1st FLOC Workshop on symbolic Model Checking

CY - Trento (Italy)

ER -

Baier C, Hermanns H, Katoen JP. Multi-terminal decision diagrams: a data structure for numerical integration. In 1st FLOC Workshop on symbolic Model Checking. Trento (Italy). 1999. p. -