TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

A heterogeneous decision diagram package

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut540-547
JulkaisuLecture Notes in Computer Science
Vuosikerta5717
DOI - pysyväislinkit
TilaJulkaistu - 2009
OKM-julkaisutyyppiA1 Alkuperäisartikkeli

Julkaisufoorumi-taso