An extension of Mazukiewicz Traces and their applications in specification of real-time systems

DSpace/Manakin Repository

An extension of Mazukiewicz Traces and their applications in specification of real-time systems

Show full item record


Title: An extension of Mazukiewicz Traces and their applications in specification of real-time systems
Author: Dang, Hung Van
URI: http://hdl.handle.net/123456789/3391
Date: 2010

Files in this item

Files Size Format View
2.84.pdf 47.26Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record

Search DSpace


Advanced Search

Browse

My Account