Search for: [Subject and Keywords = binary decision diagram] OR [Subject and Keywords = encoding] OR [Subject and Keywords = finite state machine] OR [Subject and Keywords = logic synthesis] OR [Subject and Keywords = formal verification] OR [Subject and Keywords = logic representation] OR [Title = FSM encoding for BDD representations] OR [Creator = Gosti, Wilsin] OR [Creator = Villa, Tiziano] OR [Creator = Saldanha, Alex] OR [Creator = Sangiovanni\-Vincentelli, Alberto L.]
Number of results: 9
Pułka, Andrzej Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Barkalov, Alexander Barkalov, Alexander Jr. Korbicz, Józef - red. Uciński, Dariusz - red.
Czerwiński, Robert Kania, Dariusz Zieliński, Cezary - ed.
Barkalov, Alexander Titarenko, Larysa Chmielewski, Sławomir Korbicz, Józef - red.
Klimek, Radosław Korbicz, Józef - red. Uciński, Dariusz - red.
Mousavi, Amin Jabedar-Maralani, Parviz Grzymala-Busse, Jerzy - ed. Świniarski, Roman W. - ed. Zhong, Ning - ed. Ziarko, Wojciech - ed.
Molchanov, Pavel Totsky, Alexandr Gałkowski, Krzysztof - ed. Rogers, Eric - ed. Willems, Jan
Pedrycz, Witold (1953- ) Rutkowska, Danuta - ed. Zadeh, Lotfi A. - ed.
Huang, Yande Tao, Hongfeng Chen, Yiyang Rogers, Eric Paszke, Wojciech (1975- )
