![]() | ![]() |
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] |