2006-12-23から1日間の記事一覧
なんか重要そうな論文をみつけた。Fokkinkの論文だからいい論文だろう。 読まねば。。 # W.J. Fokkink, J. Pang and J.C. van de Pol, Cones and foci: A mechanical framework for protocol verification, Formal Methods in System Design 29(1):1-31 (Jul…
なんか重要そうな論文をみつけた。Fokkinkの論文だからいい論文だろう。 読まねば。。 # W.J. Fokkink, J. Pang and J.C. van de Pol, Cones and foci: A mechanical framework for protocol verification, Formal Methods in System Design 29(1):1-31 (Jul…