DSpace Repository

Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos

Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos

Gottin, Vinícius Michel
URI: http://hdl.handle.net/unirio/12556
Date: 2013-10-29

Description:

Dissertação também disponível em formato impresso, com o número de chamada CCET MI 2013/12.

Show full item record

Files in this item

Icon
Name: MI201312.pdf
Size: 5.457Mb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search DSpace


Advanced Search

Browse

My Account

|
|