Ortrun Ibens (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Reiner Hähnle, Ortrun Ibens: Improving Temporal Logic Tableaux Using Integer Constraints. ICTL 1994: 535-539

Selection of 1 from 8 records - Ortrun Ibens has 8 coauthors