1
Publications
23
Citations
1
H-Index
2011
Active since
Affiliations
Friedrich Schiller University Jena(Current)
Michael Bauland is an author at Friedrich Schiller University Jena specializing in computational complexity, formal verification, and engineering.
Top concepts
EngineeringVerificationFormal MethodsSatisfiabilityComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationComputational Complexity
Publications per year
2011–2011
1
1
Rows per page
1–1 of 1