Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gerhard Schellhorn
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relational Concurrent Refinement Part II: Internal Operations and Outputs
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
Electronic Purses in Euroland: Why Do Penetration and Usage Rates Differ?
SSRN Electronic Journal
Barcode Localization and Decoding Using a Modified ScanLine Approach for Industrial Nameplate Verification
International Journal of Computer Applications
A Scenario-Based Validation Language for ASMs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ASMS News
Journal of the American Society for Mass Spectrometry
Structural Biology
Spectroscopy
A New Approach for Electronic Signature
Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach
Effectiveness of Trauma Centers Verification: Protocol for a Systematic Review
Systematic Reviews
Medicine
ASMS News
Journal of the American Society for Mass Spectrometry
Structural Biology
Spectroscopy
ASMS News
Journal of the American Society for Mass Spectrometry
Structural Biology
Spectroscopy
