Ashley McClenaghan

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1994

3 Kenneth J. Turner, Ashley McClenaghan: Visual animation of LOTOS using SOLVE. FORTE 1994: 283-285

1991

2 Ashley McClenaghan: Experience of Using LOTOS Within the CIM-OSA Project. FORTE 1991: 109-116

1 Ashley McClenaghan: Mapping Time-Extended LOTOS to Standard LOTOS. FORTE 1991: 233-248

	1994
3		Kenneth J. Turner, Ashley McClenaghan: Visual animation of LOTOS using SOLVE. FORTE 1994: 283-285
	1991
2		Ashley McClenaghan: Experience of Using LOTOS Within the CIM-OSA Project. FORTE 1991: 109-116
1		Ashley McClenaghan: Mapping Time-Extended LOTOS to Standard LOTOS. FORTE 1991: 233-248

Coauthor Index

1 Kenneth J. Turner [3]