Publicações

AuthID
P-00G-ZTW

Author(s)

Huisman, M

Tipo de Documento

Book Chapter

Year published

2002

Publicado

in FME 2002:Formal Methods—Getting IT Right - Lecture Notes in Computer Science, ISSN: 0302-9743

Páginas: 272-289

Indexing

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/3-540-45614-7_16

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