Logo Logo
Help
Contact
Switch language to German
Decidability of linear tree constraints for resource analysis of object-oriented programs
Decidability of linear tree constraints for resource analysis of object-oriented programs
Not available
Not available
Bauer, Sabine
2019
English
Universitätsbibliothek der Ludwig-Maximilians-Universität München
Bauer, Sabine (2019): Decidability of linear tree constraints for resource analysis of object-oriented programs. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics
[img]
Preview
PDF
Bauer_Sabine.pdf

1MB