Search for: [Subject and Keywords = sieci Petriego] OR [Subject and Keywords = model formalny] OR [Subject and Keywords = PLD] OR [Subject and Keywords = HDL] OR [Title = Automatyczna dekompozycja specyfikacji behawioralnej sprzętowo\-programowego mikrosystemu cyfrowego] OR [Creator = Stasiak, Andrzej]