Internal report (Reports)
Optimizing algebraic petri net model checking by slicing
Khan, Yasir Imtiaz
2013
 

Files


Full Text
optimizing by slicing.pdf
Publisher postprint (1.19 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Algebraic Petri nets; Model checking; Slicing
Disciplines :
Computer science
Author, co-author :
Khan, Yasir Imtiaz ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Optimizing algebraic petri net model checking by slicing
Publication date :
2013
Publisher :
lassy
Available on ORBilu :
since 21 November 2013

Statistics


Number of views
74 (4 by Unilu)
Number of downloads
96 (3 by Unilu)

Bibliography


Similar publications



Contact ORBilu