Optimizing algebraic petri net model checking by slicing

KHAN, Yasir Imtiaz

Download

Internal report (Reports)

Optimizing algebraic petri net model checking by slicing

KHAN, Yasir Imtiaz

2013

Permalink
https://hdl.handle.net/10993/11666

Files (1)Send to Details Statistics Bibliography Similar publications

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

RIS BibTex APA Chicago Permalink X Linkedin

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

85 (4 by Unilu)

Number of downloads

109 (3 by Unilu)

More statistics