| |
|
| |
In KDD '05: Proceeding of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining (2005), pp. 499-508.
|
| |
Information and Computation, Vol. 88 (1990), pp. 150-158.
posted to mcrm by suer
on 2008-08-27 01:26:10
as 
|
| |
In TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 347-362.
|
| |
Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on In Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on (2005), pp. 722-731.
posted to mcrm by suer
on 2008-08-26 23:36:05
as
|
| |
Theor. Comput. Sci., Vol. 345, No. 1. (November 2005), pp. 2-26.
posted to mcrm by suer
on 2008-08-26 23:24:49
as
|
| |
In QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems (2006), pp. 167-178.
posted to mcrm by suer
on 2008-08-26 23:06:46
as
|
| |
In University of Aarhus (Denmark (2000), pp. 127-146.
posted to mcrm by suer
on 2008-08-26 22:20:46
as
|
| |
posted to mcrm by suer
on 2008-08-26 22:09:49
as
|
| |
Formal Modeling and Analysis of Timed Systems (2004), pp. 88-104.
|
| |
Euromicro Conference, 2004. Proceedings. 30th In Euromicro Conference, 2004. Proceedings. 30th (2004), pp. 388-395.
|
| |
Automated Software Engineering, 2004. Proceedings. 19th International Conference on In Automated Software Engineering, 2004. Proceedings. 19th International Conference on (2004), pp. 164-173.
|
| |
Embedded and Real-Time Computing Systems and Applications, 2005. Proceedings. 11th IEEE International Conference on In Embedded and Real-Time Computing Systems and Applications, 2005. Proceedings. 11th IEEE International Conference on (2005), pp. 409-415.
posted to sat by suer
on 2007-10-15 10:19:22
as
|
| |
Real-Time Systems Symposium, 2006. RTSS '06. 27th IEEE International In Real-Time Systems Symposium, 2006. RTSS '06. 27th IEEE International (2006), pp. 147-158.
posted to sat by suer
on 2007-10-15 10:18:54
as 
|
| |
In Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (1996), pp. 371-386.
posted to pi type by suer
on 2007-07-24 17:33:05
as
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), Vol. 154, No. 2. (27 May 2006), pp. 31-46.
|
| |
Electronic Notes in Theoretical Computer Science In MFCS'98 Workshop on Concurrency, Vol. 18 (1998), pp. 24-45.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 29-42.
|
| |
Lecture Notes in Computer Science, Vol. 2211 (2001), pp. 97-??.
|
| |
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2001), pp. 128-141.
posted to no-tag by suer
on 2007-04-30 09:39:02
as
|
Search
