Reference : Slicing High-level Petri nets
Reports : Other
Engineering, computing & technology : Computer science
Slicing High-level Petri nets
Khan, Yasir Imtiaz mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
[en] Slicing ; Model Checking ; Testing

File(s) associated to this reference

Additional material(s):

File Commentary Size Access
Open access
TechSlicingHigh.pdf2.57 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.