| |
Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on (09 September 2009), pp. 555-560.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 191-202.
|
| |
(4 May 2009)
posted to fom by prahlad
on 2009-09-29 06:08:37
as 
|
| |
(01 April 1961)
posted to fom by prahlad
on 2009-06-22 05:35:32
as
|
| |
ACM Trans. Program. Lang. Syst., Vol. 17, No. 3. (1995), pp. 507-535.
|
| |
In FORTE/PSTV 2000: Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) (2000), pp. 139-154.
|
| |
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on In Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on (2001), pp. 95-102.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004, Vol. 91 (16 February 2004), pp. 212-228.
|
| |
Automated Reasoning (2006), pp. 392-407.
|
| |
In In The 22nd International Conference on Distributed Computing Systems (ICDCS ’02, Vol. 6 (2002), pp. 329-336.
|
| |
Computer, Vol. 39, No. 1. (2006), pp. 40-48.
|
| |
|
| |
|
| |
IEEE Trans. Softw. Eng., Vol. 22, No. 6. (June 1996), pp. 363-377.
|
| |
|
| |
Symposium on Foundations of Computer Science, Vol. 0 (1977), pp. 46-57.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 632-647.
|
| |
In ICSE '88: Proceedings of the 10th international conference on Software engineering (1988), pp. 396-406.
|
| |
Requirements Engineering, 1994., Proceedings of the First International Conference on In Requirements Engineering, 1994., Proceedings of the First International Conference on (1994), pp. 126-134.
|
| |
In ICSE '93: Proceedings of the 15th international conference on Software Engineering (1993), pp. 315-323.
|
| |
In ICSE (1997), pp. 610-611.
|
| |
In CAV, Vol. 1427 (1998), pp. 526-531.
|
| |
Computer Aided Verification (1998), pp. 526-531.
|
| |
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 3. (July 1996), pp. 231-261.
|
| |
|
| |
In SEFM '06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (2006), pp. 186-195.
|
| |
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on In Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on (2007), pp. 80-92.
|
| |
Real-Time and Embedded Technology and Applications Symposium, IEEE, Vol. 0 (2007), pp. 203-214.
posted to vcg by prahlad
on 2009-04-26 05:50:23
as
|
| |
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on In Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on (2008), pp. 191-200.
|
| |
Quantitative Evaluation of Systems, 2008. QEST '08. Fifth International Conference on In Quantitative Evaluation of Systems, 2008. QEST '08. Fifth International Conference on (2008), pp. 274-283.
|
| |
In Foundations of Secure Computation (2000)
|
| |
In Proceedings of Foundations of Software Science and Computational Structures, Second International Conference, FOSSACS'99, Vol. 1578 (March 1999)
|
| |
Theoretical Computer Science, Vol. 240, No. 1. (June 2000)
|
| |
In Foundations of Software Science and Computation Structures, Vol. 1378 (1998)
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 2. (April 1996), pp. 146-189.
|
Search
