![]() |
| 1999 | ||
|---|---|---|
| 2 | David Finkel, Robert E. Kinicki, Mikhail Mikhailov, Aditya Raghavendra, Sharon Cunningham, Yuriy Elkin, Arthur Lin, Mark Quinlivan, Joel Sommers, Bob Wescott: Electronic Commerce on the World-Wide Web: Performance and Availability. Applied Informatics 1999: 76-79 | |
| 1995 | ||
| 1 | Arthur Lin, Fuyau Lin: Formal Verification of a Message-Passing Protocol with Model Checking. SEKE 1995: 296-302 | |
| 1 | Sharon Cunningham | [2] |
| 2 | Yuriy Elkin | [2] |
| 3 | David Finkel | [2] |
| 4 | Robert E. Kinicki | [2] |
| 5 | Fuyau Lin | [1] |
| 6 | Mikhail Mikhailov | [2] |
| 7 | Mark Quinlivan | [2] |
| 8 | Aditya Raghavendra | [2] |
| 9 | Joel Sommers | [2] |
| 10 | Bob Wescott | [2] |