Home > J. Ji
"J. Ji" appeared in Books and Chapters
Showing 1 to 13 of 13 entries
Showing 1 to 20 of 100 entries
Chapter | Author(s) | Book | Book Authors | Year | Publisher |
2019 | John Wiley & Sons | ||||
2013 | John Wiley & Sons | ||||
1992 | Springer US | ||||
1993 | Springer US | ||||
2001 | Springer Berlin Heidelberg | ||||
2001 | Springer Berlin Heidelberg | ||||
1999 | Humana Press | ||||
1991 | Routledge | ||||
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy | 2000 | Springer US | |||
1999 | Springer US | ||||
2001 | William Andrew Publishing | ||||
1st ed. 2019 | Springer International Publishing | ||||
1st ed. 2018 | Springer Nature Singapore | ||||
1st ed. 2019 | Springer Berlin Heidelberg | ||||
2010 | Springer New York | ||||
1st ed. 2018 | Springer Nature Singapore | ||||
2018-05-09 | Brill | ||||
2018-05-09 | Brill | ||||
1994 | Springer US | ||||
1986 | Springer Berlin Heidelberg | ||||
Chapter | Author(s) | Book | Book Authors | Year | Publisher |