Advances in Verification of Time Petri Nets and Timed Automata

Simple item page
dc.contributor.authorPenczek, Wojciech
dc.contributor.authorPółrola, Agata
dc.date.accessioned2019-07-30T09:53:02Z
dc.date.accessioned2024-04-26T12:49:05Z
dc.date.available2019-07-30T09:53:02Z
dc.date.available2024-04-26T12:49:05Z
dc.date.issued2006
dc.identifier.isbn978-3-540-32869-8
dc.identifier.urihttps://drs.ess.gov.et/handle/12345678/77318
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.subjectAdvances in Verification of Time Petri Nets and Timed Automataen_US
dc.titleAdvances in Verification of Time Petri Nets and Timed Automataen_US
dc.typeBooken_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
48.pdf
Size:
2.77 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description:
Download

Collections

Mathematics
@ ETHIOPIAN STATISTICAL SERVICE 2024