Mark R. Nixon

According to our database, Mark R. Nixon authored at least 1 paper in 1986.

Collaborative distances:

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

1986

Extending Ina Jo with Temporal Logic.

Jeannette M. Wing, Mark R. Nixon

Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986