Publications

AuthID
P-019-YM9

Author(s)

Silva, P

Editor(s)

Leuschel,M;Ishikawa,F

Document Type

Proceedings Paper

Year published

2026

Published

in RIGOROUS STATE-BASED METHODS, ABZ 2025 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 15728, Pages: 88-105 (18)

Conference

11Th International Conference on Rigorous State Based Methods-Abz-Annual, Date: JUN 10-13, 2025, Location: Dusseldorf, GERMANY

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

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

Scopus: 2-s2.0-105015773790

Wos: WOS:001576331600006

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

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

Useful Links