Mark R. Nixon

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1989

2 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		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