Information and Computation, Volume 289

Refine list

showing all ?? records

Volume 289, Number Part A, November 2022

Regular papers Special issue on Formal Verification of Cyber-Physical Systems Regular papers Special issue on Formal Verification of Cyber-Physical Systems Regular papers Special issue on Formal Verification of Cyber-Physical Systems Regular papers Special issue on Formal Verification of Cyber-Physical Systems Regular papers Selected papers from SSS'2020, the 22d International Symposium on Stabilization, Safety, and Security of Distributed Systems Regular papers Selected papers from SSS'2020, the 22d International Symposium on Stabilization, Safety, and Security of Distributed Systems Special issue on Formal Verification of Cyber-Physical Systems Regular papers Special issue on 10th International Workshop Weighted Automata: Theory and Applications (WATA 2020) Special issue on Formal Verification of Cyber-Physical Systems Regular papers Special issue on Formal Verification of Cyber-Physical Systems

Volume 289, Number Part B, November 2022

Special Issue on 11th Int. Symp. on Games, Automata, Logics and Formal Verification
a service of  Schloss Dagstuhl - Leibniz Center for Informatics