External Links

Cite Key

Statistics

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

PDF

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.

Process Instances in LOTOS Simulation

Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot. Process Instances in LOTOS Simulation. In Jim Woodcock, Peter Gorm Larsen, editors, FME 93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Volume 670 of Lecture Notes in Computer Science, pages 521-540, Springer, 1993.

Authors

Simon Pickin

This author has not been identified. Look up 'Simon Pickin' in Google

Yan Yang

This author has not been identified. Look up 'Yan Yang' in Google

Wiet Bouma

This author has not been identified. Look up 'Wiet Bouma' in Google

Sylvie Simon

This author has not been identified. Look up 'Sylvie Simon' in Google

Tanja de Groot

This author has not been identified. Look up 'Tanja de Groot' in Google
runs on