Index of /examples/levchenko
![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[DIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/compressed.gif) | _levchenko.zip | 25-Jan-2010 18:26 | 211K | everything in this dir |
![[TXT]](/icons/text.gif) | _read.me_levchenko.txt | 25-Jan-2010 18:26 | 1.7K | |
![[TXT]](http://www-dssz.informatik.tu-cottbus.de/images/snoopy.gif) | infinite_run.spped | 21-May-2007 19:08 | 160K | QPN, Snoopy |
| levchenko-ode.txt | 21-May-2007 19:08 | 3.7K | |
| levchenko.conltl | 21-May-2007 19:19 | 4.6K | conLTL queries |
| levchenko.csl | 21-May-2007 19:08 | 650 | CSL queries |
| levchenko.ctl | 21-May-2007 19:08 | 2.0K | CTL queries |
| levchenko.xml | 21-May-2007 19:08 | 17K | ConPN, SBML format |
| levchenko_1.sm | 21-May-2007 19:08 | 8.9K | SPN, PRISM format |
| levchenko_2.sm | 22-May-2007 17:52 | 6.7K | SPN, PRISM format |
![[ ]](/icons/unknown.gif) | levchenko_N1.apnn | 21-May-2007 19:08 | 7.4K | QPN, MC/Charlie format |
| levchenko_N1.ina | 21-May-2007 19:08 | 10K | INA analysis protocol |
| levchenko_N1.pnt | 21-May-2007 19:08 | 2.7K | QPN, INA format |
| levchenko_N1.spped | 21-May-2007 19:08 | 256K | QPN, Snoopy |
| levchenko_N4.apnn | 21-May-2007 19:08 | 7.4K | QPN, MC/Charlie format |
| levchenko_N4.spped | 21-May-2007 19:08 | 255K | QPN, Snoopy |
| levchenko_N8.apnn | 21-May-2007 19:08 | 7.4K | QPN, MC/Charlie format |
| levchenko_N8.spped | 21-May-2007 19:08 | 255K | QPN, Snoopy |
| levchenko_N40.apnn | 21-May-2007 19:08 | 7.4K | QPN, MC/Charlie format |
| levchenko_N40.spped | 21-May-2007 19:08 | 255K | QPN, Snoopy |
| levchenko_N80.apnn | 21-May-2007 19:08 | 7.4K | QPN, MC/Charlie format |
| levchenko_N80.spped | 21-May-2007 19:08 | 255K | QPN, Snoopy |
| levchenko_N120.apnn | 21-May-2007 19:08 | 7.4K | QPN, MC/Charlie format |
| levchenko_N120.spped | 21-May-2007 19:08 | 255K | QPN, Snoopy |
| levchenko_N160.apnn | 21-May-2007 19:08 | 7.4K | QPN, MC/Charlie format |
| levchenko_N160.spped | 21-May-2007 19:08 | 255K | QPN, Snoopy |
| levchenko_N400.apnn | 21-May-2007 19:08 | 7.4K | QPN, MC/Charlie format |
| levchenko_N400.spped | 21-May-2007 19:08 | 255K | QPN, Snoopy |
| levchenko_bddctl.log | 21-May-2007 19:08 | 3.3K | analysis log file |
| levchenko_prism.log | 21-May-2007 19:08 | 10K | analysis log file |
| state_spaces.log | 21-May-2007 19:08 | 1.0K | analysis log file |
|
|---|