Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

Temporal logic and concurrent logic programming in protocol specification, verification and prototyping / Alexandre J. T. Santos, Vasco L. B. Freitas, José C. M. Neves

Main Author Santos, Alexandre Coauthor Freitas, Vasco
Neves, José Country Holanda. Analytic , p. 939-951 CDU 681.3
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca de Reservados
BRE 681.3 Não requisitável | Not for loan 122695
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.