The following pages link to Albert Nymeyer (Q488325):
Displaying 11 items.
- A design methodology for verified web-service mediators (Q488326) (← links)
- (Q1575261) (redirect page) (← links)
- Pattern-matching algorithms based on term rewrite systems (Q1575262) (← links)
- Code generation based on formal BURS theory and heuristic search (Q1920230) (← links)
- (Q2852024) (← links)
- Formal Verification Based on Guided Random Walks (Q3605460) (← links)
- A Monte Carlo analysis of the two-dimensional planar and step models (Q3756474) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191621) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308429) (← links)
- Automated Technology for Verification and Analysis (Q5394185) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479161) (← links)
