Biblioteca da Universidade do Minho

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

Model checking of petri nets for embedded systems / Óscar Rafael da Silva Ferreira Ribeiro

Main Author Ribeiro, Óscar R. Country Portugal. Publication Braga : [s.n.], 2005 Description 77 p. : il. ; 24 cm Dissertation Note or Thesis: Dissertação: Mestre em Informática apresentada ao Departamento de Informática da Universidade do Minho 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 Collection Call number Status Date due Barcode Item holds
Monografia Biblioteca da UMinho no Campus de Azurém
Teses e Dissertações BPG1 681.3 - R Available 354098
Total holds: 0

Dissertação: Mestre em Informática apresentada ao Departamento de Informática da Universidade do Minho

There are no comments for this item.

Log in to your account to post a comment.