Work

Progression of the binary decision diagram conversion methods

Year: 2003
Type: other
Abstract: This is a conference paper. It was presented at 21st International Systems Safety Conference, August 2-4, 2003, Ottowa, Westin Hotel.
Language: English
Open Access status: green
OpenAlex ID: W1152056858
Cites: 6
Cited by: 8
Related to: 10