Carl B. Adekunle

According to our database, Carl B. Adekunle authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin.

Carl B. Adekunle, Steve A. Schneider

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999