Verification of software algorythms with hierarchical Petri nets
Published: 01.04.2013
Authors: Rudakov I.V., Pashenkova A.V.
Published in issue: #2(14)/2013
DOI: 10.18698/2308-6033-2013-2-538
Category: Information technology