DMCA

A Basic Calculus for Verifying Properties of Synchronously Interacting Objects (1994)

Cached

Download Links

by Abt Datenbanken , Stefan Conrad , Stefan Conrad , Informatik Abt Datenbanken
Citations:2 - 0 self