Extending B AMN with concurrency. / Lano, K ; Fiadeiro, J ; Dick, J .

ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. ed. / A Edalat; S Jourdan; G McCusker. LONDON : Imperial College Press, 1996. p. 228-239.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Extending B AMN with concurrency. / Lano, K ; Fiadeiro, J ; Dick, J .

ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. ed. / A Edalat; S Jourdan; G McCusker. LONDON : Imperial College Press, 1996. p. 228-239.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Lano, K, Fiadeiro, J & Dick, J 1996, Extending B AMN with concurrency. in A Edalat, S Jourdan & G McCusker (eds), ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. Imperial College Press, LONDON, pp. 228-239, 3rd Imperial-College Workshop on the Advances in Theory and Formal Methods of Computing, OXFORD, 1/04/96.

APA

Lano, K., Fiadeiro, J., & Dick, J. (1996). Extending B AMN with concurrency. In A. Edalat, S. Jourdan, & G. McCusker (Eds.), ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING (pp. 228-239). Imperial College Press.

Vancouver

Lano K, Fiadeiro J, Dick J. Extending B AMN with concurrency. In Edalat A, Jourdan S, McCusker G, editors, ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. LONDON: Imperial College Press. 1996. p. 228-239

Author

Lano, K ; Fiadeiro, J ; Dick, J . / Extending B AMN with concurrency. ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. editor / A Edalat ; S Jourdan ; G McCusker. LONDON : Imperial College Press, 1996. pp. 228-239

BibTeX

@inproceedings{506cb68f10d149d28ca90ea78e779e8d,
title = "Extending B AMN with concurrency",
author = "K Lano and J Fiadeiro and J Dick",
year = "1996",
language = "English",
isbn = "1-86094-031-5",
pages = "228--239",
editor = "A Edalat and S Jourdan and G McCusker",
booktitle = "ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING",
publisher = "Imperial College Press",
note = "3rd Imperial-College Workshop on the Advances in Theory and Formal Methods of Computing ; Conference date: 01-04-1996 Through 03-04-1996",

}

RIS

TY - GEN

T1 - Extending B AMN with concurrency

AU - Lano, K

AU - Fiadeiro, J

AU - Dick, J

PY - 1996

Y1 - 1996

M3 - Conference contribution

SN - 1-86094-031-5

SP - 228

EP - 239

BT - ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING

A2 - Edalat, A

A2 - Jourdan, S

A2 - McCusker, G

PB - Imperial College Press

CY - LONDON

T2 - 3rd Imperial-College Workshop on the Advances in Theory and Formal Methods of Computing

Y2 - 1 April 1996 through 3 April 1996

ER -