Khaoula Al Ali

According to our database, Khaoula Al Ali authored at least 2 papers in 2011.

Collaborative distances:

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

2011

Modellierung und Verifikation von verteilten/parallelen Informationssystemen.

Khaoula Al Ali

PhD thesis, 2011

Extended coloured Petri nets with structured tokens formal method for distributed systems.

Khaoula Al Ali, Wolfgang Fengler, Bernd Däne

Proceedings of the 2011 Spring Simulation Multi-conference, 2011