Reference : Optimizing algebraic petri net model checking by slicing |
Reports : Internal report | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/11666 | |||
Optimizing algebraic petri net model checking by slicing | |
English | |
Khan, Yasir Imtiaz ![]() | |
2013 | |
lassy | |
[en] Algebraic Petri nets ; Model checking ; Slicing | |
Researchers ; Professionals ; Students | |
http://hdl.handle.net/10993/11666 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.