JOT
The Journal of Object Technology
An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Articles matching “Zameni”
Tannaz Zameni
,
Petra van den Bos
,
Arend Rensink
,
Disjunction Composition of BDD Transition Systems for Model-Based Testing
, pp. 3:337-350,
PDF
,
DOI
.
Volume 25, no. 3 ( 2026)