Jan Schaer

According to our database, Jan Schaer authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

A Model-Checked I²C Specification.

Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David A. Cock, Michael Giardino, Timothy Roscoe

Proceedings of the Model Checking Software - 27th International Symposium, 2021