Online Library TheLib.net » Тема, жанр, tags: asynchronous circuits formal methods optimization electrical engineering logic design Petri nets