Number | Date | Country | Kind |
---|---|---|---|
95 202615 | Sep 1995 | EPX |
Number | Name | Date | Kind |
---|---|---|---|
4455652 | Van Der Meulen | Jun 1984 | |
4727549 | Tulpule et al. | Feb 1988 | |
4796178 | Jennings et al. | Jan 1989 | |
4799141 | Drusinsky et al. | Jan 1989 | |
5010482 | Keller et al. | Apr 1991 | |
5056014 | Burrows | Oct 1991 | |
5220668 | Bullis | Jun 1993 | |
5233533 | Edstrom et al. | Aug 1993 | |
5477168 | Thijssen et al. | Dec 1995 | |
5504896 | Schell et al. | Apr 1996 | |
5761200 | Hsieh | Jun 1998 |
Entry |
---|
H.B.M. Jonkers, Overview of the Sprint Method, Proceedings of the Formal Methods Europe Conference 1993 and published in Lecture Notes on Computer Science, No. 670, pp. 403-427, Springer 1993. |