Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bernd Krieg-Brückner
The UniForM Workbench a Universal Development Environment for Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Erratum To: Formal Methods for Distributed System Development
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Towards a Linguist's Workbench Supporting eScience Methods
Infinite Dimensional Universal Formal Group Laws and Formal A-Modules
Lecture Notes in Mathematics
Number Theory
Algebra
Experimental Methods for Environment and Development Economics
Environment and Development Economics
Development
Economics
Econometrics
Environmental Science
Using Simulation Games in Teaching Formal Methods for Software Development
Advances in Higher Education and Professional Development
Development of a Universal Locomotive Frame Using System Engineering Methods
KnE Engineering
On the Need for Practical Formal Methods
Indices Formal Grammar of the Universal Decimal Classification
Bibliosphere
Creating a Supportive Legal Environment for Universal Health Coverage
Bulletin of the World Health Organization
Environmental
Public Health
Occupational Health
