Publications

Quantitative Weak Linearisation

AuthID
P-00X-86Z

Author(s)

Alves, S

Ventura, D

Editor(s)

Seidl,H;Liu,Z;Pasareanu,CS

Document Type

Proceedings Paper

Year published

2022

Published

in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 13572, Pages: 78-95

Conference

19Th International Colloquium on Theoretical Aspects of Computing, Ictac 2022, Date: 27 September 2022 through 29 September 2022

Indexing

Scopus^®

Dblp^®/en/publications/view/958687

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-031-17715-6_7

Dblp: conf/ictac/AlvesV22

Scopus: 2-s2.0-85140785598

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.

Quantitative Weak Linearisation

Useful Links

Get Help

Federated Authentication (Click on the image)

Quantitative Weak Linearisation

Useful Links

Get Help