3
Publications
58
Citations
3
H-Index
2008
Active since
Affiliations
Institute for Systems Analysis(Current)
Bas Ploeger is an author at Institute for Systems Analysis specializing in computer science, formal methods, and verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationData ModelingSoftware DesignSystem SoftwareProgram AnalysisSoftware Testing
Publications per year
2008–2010
3
3
Jan Friso Groote, Jeroen J. A. Keiren, Aad Mathijssen et al. · 2008 · 30 citations
Five determinisation algorithms
Rob J. van Glabbeek, Bas Ploeger · 2008 · 13 citations
Rows per page
1–3 of 3