Unfoldings A Partial-Order Approach to Model Checking /

Na minha lista:
Detalhes bibliográficos
Principais autores: Esparza, Javier., Heljanko, Keijo., SpringerLink (Online service)
Formato: Digital
Publicado em:
Assuntos:
Computação.
Engenharia de software.
Teoria da informação.
Endereço do item:http://dx.doi.org/10.1007/978-3-540-77426-6
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-129267
record_format dspace
spelling oai:localhost:123456789-1292672023-07-17T15:10:55Z Unfoldings A Partial-Order Approach to Model Checking / Esparza, Javier. Heljanko, Keijo. SpringerLink (Online service) Computação. Engenharia de software. Teoria da informação. 0 2022-10-06T07:37:47Z 2022-10-06T07:37:47Z 2008. Digital 004 E77u 9783540774266 196378 http://dx.doi.org/10.1007/978-3-540-77426-6 http://dx.doi.org/10.1007/978-3-540-77426-6
institution Acervo SISBI
collection SIGAA
topic Computação.
Engenharia de software.
Teoria da informação.
spellingShingle Computação.
Engenharia de software.
Teoria da informação.
Esparza, Javier.
Heljanko, Keijo.
SpringerLink (Online service)
Unfoldings A Partial-Order Approach to Model Checking /
description
format Digital
author Esparza, Javier.
Heljanko, Keijo.
SpringerLink (Online service)
author_facet Esparza, Javier.
Heljanko, Keijo.
SpringerLink (Online service)
author_sort Esparza, Javier.
title Unfoldings A Partial-Order Approach to Model Checking /
title_short Unfoldings A Partial-Order Approach to Model Checking /
title_full Unfoldings A Partial-Order Approach to Model Checking /
title_fullStr Unfoldings A Partial-Order Approach to Model Checking /
title_full_unstemmed Unfoldings A Partial-Order Approach to Model Checking /
title_sort unfoldings a partial-order approach to model checking /
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-77426-6
work_keys_str_mv AT esparzajavier unfoldingsapartialorderapproachtomodelchecking
AT heljankokeijo unfoldingsapartialorderapproachtomodelchecking
AT springerlinkonlineservice unfoldingsapartialorderapproachtomodelchecking
_version_ 1771687842999697408

Registros relacionados