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

An Environment for Specifying and Model Checking Mobile Rin..:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,
Doan, Ha Thi Thu ; Riesco, Adrián ; Ogata, Kazuhiro - p. 111-126 , 2019
Link: https://doi.org/10.1007/978-3-030-34992-9_10