| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In ISoLA, Vol. 17 (2008), pp. 139-154.
|
| |
In ISoLA, Vol. 17 (2008), pp. 724-737.
|
| |
In Haifa Verification Conference, Vol. 4383 (2006), pp. 92-108.
|
| |
In ECBS (2005), pp. 431-436.
|
| |
|
| |
Bioinformatics Research and Applications (2008), pp. 445-456.
|
| |
BMC bioinformatics, Vol. 10 Suppl 10, No. Suppl 10. (2009), S8.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 557-562.
|
| |
BMC bioinformatics, Vol. 9 Suppl 4 (2008)
|
| |
BMC bioinformatics, Vol. 9 Suppl 4 (2008)
|
| |
Innovations in Systems and Software Engineering
|
| |
Lecture Notes in Computer Science, Vol. 3923 (January 2006), pp. 101-104.
|