Back to Search Start Over

A state machine language supporting integer inequalities implemented with ordered ternary decision diagrams

Authors :
Jennings, Glenn
Lindgren, Per
Isaksson, Joachim
Publication Year :
1994
Publisher :
Luleå tekniska universitet, Datavetenskap, 1994.

Abstract

Godkänd; 1994; 20080424 (ysko)

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.dedup.wf.001..416e4531be50b8728b7fb8ab5648dee2