Publicações

A Coalgebraic Characterization of Behaviours in the Linear Time-Branching Time Spectrum

AuthID
P-003-S0P

Author(s)

Monteiro, L

Editor(es)

Corradini, A; Montanari, U

Tipo de Documento

Proceedings Paper

Year published

2009

Publicado

in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5486, Páginas: 251-265 (15)

Conference

19Th International Workshop on Algebraic Development Techniques, Date: JUN 13-16, 2008, Location: Pisa, ITALY, Patrocinadores: IFIP WG 1 3, Univ Pisa, Dipt Inform, IFIP TC1, Host: Univ Pisa

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-642-03429-9_17

SCOPUS: 2-s2.0-70349319748

Wos: WOS:000272277800017

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

A Coalgebraic Characterization of Behaviours in the Linear Time-Branching Time Spectrum

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

A Coalgebraic Characterization of Behaviours in the Linear Time-Branching Time Spectrum

Links Úteis

Ajuda