Giorgos Papapanagiotakis

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1986

2 Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel: On a Prolog Environment for Protocol Analysis. ICDCS 1986: 444-451

1985

1 Pierre Azéma, Giorgos Papapanagiotakis: Protocol analysis by using predicate nets. PSTV 1985: 119-130

	1986
2		Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel: On a Prolog Environment for Protocol Analysis. ICDCS 1986: 444-451
	1985
1		Pierre Azéma, Giorgos Papapanagiotakis: Protocol analysis by using predicate nets. PSTV 1985: 119-130

Coauthor Index