P
Peter Csaba Ölveczky
6 works on record
Works

Formal Aspects of Component Software

Designing Reliable Distributed Systems

Formal Techniques for Safety-Critical Systems
Theoretical Aspects of Computing - ICTAC 2021
Theoretical Aspects of Computing - ICTAC 2021
Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency