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. |