Search results for: Harald König
Formal Aspects of Computing > 2019 > 31 > 5 > 611-640
Lecture Notes in Computer Science > Formal Methods in Software and Systems Modeling > Algebraic Specification and Logic > 190-203
Science of Computer Programming > 2015 > 107-108 > Complete > 2-18
Journal of Symbolic Computation > 2011 > 46 > 3 > 316-337
Immunobiology > 1995 > 193 > 2-4 > 161-170