| dc.contributor.author | Dang, Hung Van | |
| dc.date.accessioned | 2011-04-21T14:12:13Z | |
| dc.date.available | 2011-04-21T14:12:13Z | |
| dc.date.issued | 2010 | |
| dc.identifier.uri | http://hdl.handle.net/123456789/3391 | |
| dc.language.iso | en | vi |
| dc.title | An extension of Mazukiewicz Traces and their applications in specification of real-time systems | vi |
| Files | Size | Format | View |
|---|---|---|---|
| 2.84.pdf | 47.26Kb |
View/ |