Publications

AuthID
P-019-YM9

Author(s)

Silva, P

Editor(s)

Leuschel,,M;Ishikawa,,F

Document Type

Proceedings Paper

Year published

2026

Published

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

Volume: 15728 LNCS, Pages: 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

Marked List

Info

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

Useful Links