Parameterized timed partial orders with resources: formal definition and semantics

N. Trcka, M. Voorhoeve, T. Basten

Research output: Book/ReportReportAcademic

55 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages10
Publication statusPublished - 2010

Publication series

NameES reports
Volume2010-01
ISSN (Print)1574-9517

Cite this