See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

A canonical algebra of open transition systems

Di Lavore, Elena; Gianola, Alessandro; Roman, Mario; Sabadini, Nicoletta; Sobocinski, Pawel (2021). A canonical algebra of open transition systems. Formal Aspects Of Component Software (Facs 2021): 17th International Conference on Formal Aspects of Component Software (FACS), OCT 28-29, 2021, ELECTR NETWORK. Ed. Salaun, G.; Wijs, A. Cham: Springer, 63−81. (Lecture Notes in Computer Science; 13077). DOI: 10.1007/978-3-030-90636-8_4.
publitseeritud konverentsiettekanne
Di Lavore, Elena; Gianola, Alessandro; Roman, Mario; Sabadini, Nicoletta; Sobocinski, Pawel
  • Inglise
Formal Aspects Of Component Software (Facs 2021)
Salaun, G.; Wijs, A.
17th International Conference on Formal Aspects of Component Software (FACS), OCT 28-29, 2021, ELECTR NETWORK
Cham
0302-9743; 1611-3349
978-3-030-90636-8; 978-3-030-90635-1
Lecture Notes in Computer Science
13077
2021
6381
19
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Jah
roheline

Viited terviktekstile

doi.org/10.1007/978-3-030-90636-8_4

Seotud asutused

Tallinn Univ Technol, Ehitajate Tee 5, EE-12616 Tallinn, Estonia; Free Univ Bozen Bolzano, Piazza Domenicani 3, I-39100 Bolzano, BZ, Italy; Univ Insubria, Via Ravasi 2, Varese, VA, Italy

Lisainfo

http://arxiv.org/pdf/2010.10069
WOS; Scopus