Milan Vujinovic

According to our database, Milan Vujinovic authored at least 2 papers between 2017 and 2020.

Collaborative distances:

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

2020

On Implementable Timed Automata.

Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2017

On Global Scheduling Independency in Networks of Timed Automata.

Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017