Publicações

AuthID
P-004-397

Author(s)

Mendes, PMC

Editor(es)

Leue, S; Merino, P

Tipo de Documento

Proceedings Paper

Year published

2008

Publicado

in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 4916, Páginas: 218-233 (16)

Conference

12Th International Workshop on Formal Methods for Industrial Critical Systems, Date: JUL 01-02, 2007, Location: Berlin, GERMANY

Indexing

Wos^®

Scopus^®

Crossref^®8

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-540-79707-4_16

DBLP: conf/fmics/PaivaFM07

SCOPUS: 2-s2.0-44649152484

Wos: WOS:000256437300014

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis