Publications

AuthID
P-00S-700

Author(s)

Sánchez, C

Schneider, G

Ahrendt, W

Bartocci, E

Bianculli, D

Colombo, C

Falcone, Y

Francalanza, A

Krstic, S

Nickovic, D

Pace, GJ

Rufino, J

Signoles, J

Traytel, D

Weiss, A

Document Type

Article

Year published

2019

Published

in Formal Methods Syst. Des.

Volume: 54, Issue: 3, Pages: 279-335

Indexing

Publication Identifiers

Dblp: journals/fmsd/SanchezSABBCFFK19

Export Publication Metadata

Marked List

Info

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

Useful Links