Jump to main content

yr 〜
yr

Search results 3

Formal description techniques, VIII : proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques , Montreal, Canada, October 1995

Formal description techniques, VIII : proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques , Montreal, Canada, October 1995
Paper図書
edited by Gregor v. Bochmann, Rachida Dssouli and Omar RafiqChapman & Hall on behalf of the International Federationfor Information Processing (IFIP)1996
Other Libraries in Japan
  • Author HeadingFORTE Bochmann, Gregor V. Dssouli, R. Rafiq, Omar

Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992

Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992
Paper図書
edited by G. v. Bochmann, R. Dssouli, A. DasNorth-Holland1993
Other Libraries in Japan
  • Author Heading...ann, Gregor V. Dssouli, R. Das, A. International Federat...

SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999

SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999
Paper図書
edited by Rachida Dssouli, Gregor v. Bochmann, Yair LahavElsevierc1999
Other Libraries in Japan
  • Author HeadingSDL Forum Dssouli, R. (Rachida) Bochmann, Gregor vo...

Reached to the end of result.

RSS