Slicing High-level Petri nets

KHAN, Yasir Imtiaz

No full text

Other (Reports)

Slicing High-level Petri nets

KHAN, Yasir Imtiaz

2014

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

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Annexes

TechSlicingHigh.pdf

(2.63 MB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

Slicing; Model Checking; Testing

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 :

Slicing High-level Petri nets

Publication date :

10 April 2014

Available on ORBilu :

since 14 April 2014

Statistics

Number of views

193 (11 by Unilu)

Number of downloads

243 (0 by Unilu)

More statistics