Louis C. M. van Gool

According to our database1, Louis C. M. van Gool authored at least 4 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
On the Preservation of Properties When Changing Communication Models.
Proceedings of the SOFSEM 2023: Theory and Practice of Computer Science, 2023

2022
Formal verification of OIL component specifications using mCRL2.
Int. J. Softw. Tools Technol. Transf., 2022

2002
Consistent specification of interface suites in UML.
Softw. Syst. Model., 2002

2001
A Specification Model for Interface Suites.
Proceedings of the «UML» 2001, 2001


  Loading...