Publicações

AuthID
P-019-YM9

Author(s)

Silva, P

Editor(es)

Leuschel,,M;Ishikawa,,F

Tipo de Documento

Proceedings Paper

Year published

2026

Publicado

in Lecture Notes in Computer Science, ISSN: 16113349; 03029743

Volume: 15728 LNCS, Páginas: 88-105

Conference

11Th International Conference on Rigorous State-Based Methods, Abz 2025, Location: Düsseldorf

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-031-94533-5_6

SCOPUS: 2-s2.0-105015773790

Source Identifiers

ISSN: 16113349; 03029743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis