Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mark A. Austin
11.1.2 a Process Modelling Framework for Formal Validation of Panama Canal System Operations
INCOSE International Symposium
Related publications
Panama Canal Zone
Measurement of Vessels for the Panama Canal
A Knowledge Centred Framework for Collaborative Business Process Modelling
Business Process Management Journal
Accounting
Management
International Management
Business
Sanitation and the Panama Canal.
The Lancet
Medicine
Sanitation and the Panama Canal.
The Lancet
Medicine
A Process-Oriented Architecture for Complex System Modelling
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
The Panama Canal - A Vital United States Interest
