Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Peter Csaba Ölveczky | lit.salon

Author

Peter Csaba Ölveczky

6 works

2010–2021 across 6 dated works

No biography is available yet.

Start with

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held As a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers2010
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers2014
With Cyrille Artho
Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, il, USA, September 23-25, 2015, Proceedings2015
With Narciso Martí-Oliet, Carolyn Talcott
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers2016
With Christiano Braga

Books

6 works

Featured (6)Featured (6)All (6)All (6)

Search booksSort books

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers2014
With Cyrille Artho
8 editions
shelves
0
reviews
0
lists
0
quotes
0
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude2018
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers2016
With Christiano Braga
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, il, USA, September 23-25, 2015, Proceedings2015
With Narciso Martí-Oliet, Carolyn Talcott
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held As a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers2010
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Theoretical Aspects of Computing - ICTAC 2021 18th International Colloquium, Virtual Event, September 6-10, 2021, Proceedings2021
With Antonio Cerone
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Peter Csaba Ölveczky.

The conversation is still open.

There is no public salon activity to show for Peter Csaba Ölveczky yet.