I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

A Semantic-Aware, Accurate and Efficient API for (Co-)Simul..:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,
Liboni, Giovanni ; Deantoni, Julien - p. 280-294 , 2021
Link: https://doi.org/10.1007/978-3-030-67220-1_21