Felipe Bichued

According to our database, Felipe Bichued authored at least 1 paper in 2014.

Collaborative distances:

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

2014

Using Different Representations of Synchronous Systems in SAL.

Manuel Gesell, Felipe Bichued, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014