|
| Books 1 - 7 of 7 | Previous | Next |
|
 | | Verification of bounded Petri nets using integer programming (Technical report series)
by Victor Khomenko, Maciej Koutny
Unknown Binding, Published 2001 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Detecting State Coding in Stgs Unfoldings Using Sat (Technical report series / University of Newcastle Upon Tyne. Computer Science)
by Victor Khomenko, Maciej Koutny, Alex Yakovlev
Paperback, 20 Pages, Published 2003 by University of Newcastle upon Tyne
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Detecting State Coding Conflicts in Stgs Using Integer Programming (Technical report series / University of Newcastle Upon Tyne. Computer Science)
by Victor Khomenko, Maciej Koutny, A. Yakovlev
Unknown Binding, 22 Pages, Published 2002 by University of Newcastle upon Tyne
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Model Checking Based on Prefixes of Petri Net Unfoldings
by Victor Khomenko
Unknown Binding, Published 2003 by University of Newcastle upon Tyne
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Logic Synthesis Avoiding State Space Explosion (Technical report series)
by Victor Khomenko, Maciej Koutny, Alex Yakovlev
Unknown Binding, 18 Pages, Published 2003 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Linear programming deadlock checking using partial order dependencies (Technical report series)
by Victor Khomenko, Maciej Koutny
Unknown Binding, Published 2001 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Detecting State Coding in Stg Unfoldings Using Sat (Technical report series / University of Newcastle upon Tyne, Computing Science)
by Victor Khomenko, Maciej Koutny, A. Yakovlev
Unknown Binding, 20 Pages, Published 2003 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 7 of 7 | Previous | Next |