| |
Software, IEEE In Software, IEEE, Vol. 26, No. 3. (2009), pp. 87-95.
|
| |
Commun. ACM, Vol. 52, No. 3. (2009), pp. 67-75.
|
| |
Computer, Vol. 34, No. 1. (2001), pp. 53-60.
|
| |
Formal Methods in Systems Biology (2008), pp. 1-16.
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007), pp. 153-156.
|
| |
Computational Biology and Bioinformatics, IEEE/ACM Transactions on In Computational Biology and Bioinformatics, IEEE/ACM Transactions on, Vol. 5, No. 2. (07 May 2008), pp. 223-234.
|
| |
Computer In Computer, Vol. 41, No. 1. (2008), pp. 28-37.
|
| |
CONCURRENCY 88 (1988), pp. 74-103.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)", Vol. 194, No. 3. (20 January 2008), pp. 119-131.
|
| |
Computer, Vol. 37, No. 10. (October 2004), pp. 64-72.
|
| |
IEEE Trans. Softw. Eng., Vol. 28, No. 9. (September 2002), pp. 889-903.
|
| |
Integration of Software Specification Techniques forApplications in Engineering (2004), pp. 325-354.
|
| |
|
| |
Health Care Management Science, Vol. 11, No. 1. (March 2008), pp. 79-86.
|
| |
Software and Systems Modeling, Vol. 7, No. 2. (1 May 2008), pp. 237-252.
|
| |
HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007)
|
| |
Technology of Object-Oriented Languages and Systems, 2000. TOOLS 34. Proceedings. 34th International Conference on (2000), pp. 83-94.
|
| |
|
| |
Software Engineering, IEEE Transactions on, Vol. 32, No. 7. (2006), pp. 467-485.
|
| |
: Formal Methods in Software and Systems Modeling (2005), pp. 309-324.
|
| |
Computer Systems and Software Engineering, 1988. Proceedings., Third Israel Conference on (1988), pp. 1-3.
|
| |
Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on (2001), pp. 15-22.
|
| |
IEEE Transactions on Software Engineering, Vol. 16, No. 4. (1990), pp. 403-414.
|
| |
Computer, Vol. 30, No. 7. (1997), pp. 31-42.
|
| |
The Visual Computer, Vol. V18, No. 3. (1 May 2002), pp. 164-185.
|
| |
Lecture Notes in Computer Science : Lectures on Embedded Systems (1998), pp. 368-394.
|
| |
Lecture Notes in Computer Science : SOFSEM'96: Theory and Practice of Informatics (1996), pp. 285-285.
|
| |
Lecture Notes in Computer Science : Computer Aided Verification (1997), pp. 226-231.
|
| |
In SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools (2006), pp. 13-20.
|
| |
Commun. ACM, Vol. 31, No. 5. (May 1988), pp. 514-530.
|
| |
In ICSE '88: Proceedings of the 10th international conference on Software engineering (1988), pp. 396-406.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 4. (October 1996), pp. 293-333.
|
| |
|
| |
Software Engineering, 1996., Proceedings of the 18th International Conference on (1996), pp. 246-257.
|
| |
Science of Computer Programming, Vol. 8, No. 3. (June 1987), pp. 231-274.
|
Search
Export
