| |
CONCUR '97: Concurrency Theory (1997), pp. 135-150.
|
| |
Theoretical Computer Science, Vol. 302, No. 1-3. (13 June 2003), pp. 93-121.
|
| |
Computer Aided Verification (2001), pp. 506-517.
|
| |
CONCUR’99 Concurrency Theory (1999), pp. 779-779.
|
| |
In FORTE X / PSTV XVII '97: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII) (1998), pp. 23-38.
|
| |
In MFCS '99: Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science (1999), pp. 125-136.
|
| |
Fundam. Inf., Vol. 36, No. 2-3. (1998), pp. 145-182.
|
| |
J. Autom. Lang. Comb., Vol. 10, No. 4. (2005), pp. 393-405.
|
| |
Theoretical Computer Science, Vol. 126, No. 2. (25 April 1994), pp. 183-235.
|
| |
In in 11th Int. Conference on Tools and Algorithms for tthe Construction and Analysis of Systems (TACAS, Vol. 3440 (2005), pp. 349-364.
|
| |
In In 11th International SPIN Workshop on Model Checking of Software (SPIN’04), volume 2989 of LNCS (2004), pp. 109-126.
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 84, No. 8. (1996), pp. 1090-1123.
|
| |
Int. J. Softw. Tools Technol. Transf., Vol. 7, No. 4. (2005), pp. 297-315.
|
| |
IEEE Trans. Softw. Eng., Vol. 11, No. 4. (April 1985), pp. 367-375.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. SE-6, No. 3. (1980), pp. 236-246.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. SE-2, No. 3. (1976), pp. 208-215.
|
| |
In Proceedings of the international conference on Reliable software (1975), pp. 493-510.
|
CiteULike
pedagand's CiteULike
Search
Export
