Publications

Adding Records to Alloy

AuthID
P-00Y-CCN

Author(s)

Brunel, J

Chemouil, D

Cunha, A

Macedo, N

Editor(s)

Glasser Creissac Campos Mery Palanque,UJDP

Document Type

Proceedings Paper

Year published

2023

Published

in Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 14010, Pages: 212-219

Conference

9Th International Conference on Rigorous State-Based Methods, Abz 2023, Date: 30 May 2023 through 2 June 2023

Indexing

Scopus^®

Dblp^®/en/publications/view/995733

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-031-33163-3_16

Dblp: conf/zum/BrunelCCM23

Scopus: 2-s2.0-85161124533

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Adding Records to Alloy

Useful Links

Get Help

Federated Authentication (Click on the image)

Adding Records to Alloy

Useful Links

Get Help