| Number | Name | Date | Kind |
|---|---|---|---|
| 4048452 | Oehring et al. | Sep 1977 | |
| 4142238 | Brandt et al. | Feb 1979 | |
| 4206346 | Hirosawa et al. | Jun 1980 | |
| 4625081 | Lotito et al. | Nov 1986 | |
| 4881261 | Oliphant et al. | Nov 1989 | |
| 4988209 | Davidson et al. | Jan 1991 | |
| 5020095 | Morganstein et al. | May 1991 | |
| 5065427 | Godbole | Nov 1991 | |
| 5073919 | Hagensick | Dec 1991 | |
| 5103394 | Blasciak | Apr 1992 | |
| 5231579 | Tsuchiya et al. | Jul 1993 | |
| 5408663 | Miller | Apr 1995 | |
| 5557773 | Wang et al. | Sep 1996 | |
| 5675511 | Prasad et al. | Oct 1997 | |
| 5751914 | Coley et al. | May 1998 | |
| 5938760 | Levine et al. | Aug 1999 | |
| 5946388 | Walker et al. | Aug 1999 |
| Entry |
|---|
| An environment for automatic system performance evaluation, ACM, 1993. |
| AN: 92:40209 Title: Synchronizing SS7, Source: Telephone Engineer & Management, Jan. 1, 1992. |
| Title: Symbolic model checking for event-driven real-time systems, Author: Jin et al, Source: IEEE service center, 1994. |
| Title: Symbolic model checking for event-driven real-time systems, Author: Jin et al, Source: ACM, 1997. |