Show simple item record Kovalyov, Andrei en_US 2013-05-01T16:56:13Z 2013-05-01T16:56:13Z 2002 en_US
dc.identifier (Sirsi) API-3672 en_US
dc.description.abstract en_US
dc.format.extent xii, 158 leaves : en_US
dc.language en_US
dc.rights en_US
dc.title Efficient methods for verification and performance evaluation of concurrent systems by Petri nets en_US Electrical and Computer Engineering en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

View Statistics