Login
中文
Stephan Merz
HIndex: 11
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Proof assistant
Theory of computation
Computer Science
Automated theorem proving
Formal verification
Formal specification
Unified Modeling Language
Reactive system
Logic
Temporal logic of actions
Formal methods
Model checking
Embedded software
Distributed algorithm
Specification
Distributed computing
Mutual exclusion
Verification and validation
Finite-state machine
Object-oriented programming
Verification
Software Engineering
Temporal logic
Specification language
Set theory
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Proof assistant
Theory of computation
Computer Science
Automated theorem proving
Formal verification
Formal specification
Unified Modeling Language
Reactive system
Logic
Temporal logic of actions
Formal methods
Model checking
Embedded software
Distributed algorithm
Specification
Distributed computing
Mutual exclusion
Verification and validation
Finite-state machine
Object-oriented programming
Verification
Software Engineering
Temporal logic
Specification language
Set theory
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Stephan Merz
Ludwig Maximilian University Of Munich
117
Stephan Merz
University Of Erlangen Nuremberg
4
Stephan Merz
Technische Universitat Munchen
2
Stephan Merz
University Of Luxembourg
2
×
Share to your followers
Submit