scientific article; zbMATH DE number 1962750

zbMath1033.68502MaRDI QIDQ4418578

Naoki Kobayashi, Reynald Affeldt

Publication date: 11 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2609/26090217.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Data encryption (aspects in computer science) (68P25)

Related Items (1)

A Coq Library for Verification of Concurrent Programs

Uses Software

• Coq
• AnZenMail

This page was built for publication: