Mark R. Nixon

List of publications from the DBLP Bibliography Server - FAQ

1989

2 EE Jeannette M. Wing, Mark R. Nixon: Extending Ina Jo with Temporal Logic. IEEE Trans. Software Eng. 15(2): 181-197 (1989)

1986

1 Jeannette M. Wing, Mark R. Nixon: Extending Ina Jo with Temporal Logic. IEEE Symposium on Security and Privacy 1986: 2-13

1989
2	EE	Jeannette M. Wing, Mark R. Nixon: Extending Ina Jo with Temporal Logic. IEEE Trans. Software Eng. 15(2): 181-197 (1989)
1986
1		Jeannette M. Wing, Mark R. Nixon: Extending Ina Jo with Temporal Logic. IEEE Symposium on Security and Privacy 1986: 2-13

Coauthor Index