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.

Towards Formal Specification and Verification in Cyberspace

Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak. Towards Formal Specification and Verification in Cyberspace. In James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey, editors, Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Volume 1871 of Lecture Notes in Computer Science, pages 16-32, Springer, 2000. [doi]

Authors

Stanislaw Ambroszkiewicz

This author has not been identified. Look up 'Stanislaw Ambroszkiewicz' in Google

Wojciech Penczek

This author has not been identified. Look up 'Wojciech Penczek' in Google

Tomasz Nowak

This author has not been identified. Look up 'Tomasz Nowak' in Google
runs on