| |
ACM Trans. Model. Comput. Simul., Vol. 3, No. 1. (1993), pp. 20-41.
|
| |
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 77, No. 4. (06 August 2002), pp. 541-580.
|
| |
Robotics and Automation, 1992. Proceedings., 1992 IEEE International Conference on, Vol. 3 (14 May 1992), pp. 2745-2750.
|
| |
Formal Approaches to Agent-Based Systems (2001), pp. 123-132.
|
| |
Semiconductor Manufacturing, IEEE Transactions on, Vol. 11, No. 3. (1998), pp. 333-357.
|
| |
Integrated Formal Methods (2009), pp. 352-366.
|
| |
IEEE Transactions on Systems, Man, and Cybernetics, Part A, Vol. 38, No. 2. (2008), pp. 397-409.
|
| |
|
| |
Bioinformatics (Oxford, England), Vol. 16, No. 9. (September 2000), pp. 825-836.
|
| |
Petri Nets and Other Models of Concurrency - ICATPN 2006 (2006), pp. 181-200.
|
| |
Bioinformatics, Vol. 24, No. 2. (15 January 2008), pp. 209-217.
|
| |
PLoS Comput Biol, Vol. 4, No. 2. (29 February 2008), e1000005.
|
| |
BMC Bioinformatics, Vol. 9, No. 1. (2008), 90.
|
| |
In silico biology, Vol. 1, No. 1. (1998), pp. 39-53.
|
| |
Molecular Genetics and Metabolism, Vol. 84, No. 2. (February 2005), pp. 104-111.
|
| |
Robotics and Automation, IEEE Transactions on, Vol. 19, No. 1. (2003), pp. 137-141.
|
| |
Bio Systems, Vol. 75, No. 1-3. (July 2004), pp. 15-28.
|
| |
Biosystems, Vol. 82, No. 1. (October 2005), pp. 74-82.
|
| |
Biosystems, Vol. 82, No. 1. (October 2005), pp. 26-38.
|
| |
|
Search
