External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Using Abstract State Machines at Microsoft: A Case Study

Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes. Using Abstract State Machines at Microsoft: A Case Study. In Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele, editors, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Volume 1912 of Lecture Notes in Computer Science, pages 367-379, Springer, 2000. [doi]

Authors

Michael Barnett

This author has not been identified. Look up 'Michael Barnett' in Google

Egon Börger

Identified as Egon Börger
(Università di Pisa
)

Yuri Gurevich

Identified as Yuri Gurevich
(Microsoft Research
)

Wolfram Schulte

Identified as Wolfram Schulte

Margus Veanes

This author has not been identified. Look up 'Margus Veanes' in Google
runs on