Year | Venue | Keywords |
---|---|---|
1988 | Specification and Verification of Concurrent Systems | environment lotte,isdn protocol |
Field | DocType | ISBN |
Abstract data type,Integrated Services Digital Network,Software engineering,Computer science,Network layer,Open Systems Interconnection,Formal specification,Connection management,Distributed computing | Conference | 3-540-19581-5 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paul A. J. Tilanus | 1 | 9 | 1.23 |
Yan Yang | 2 | 19 | 11.40 |