Der einfache Weg zum Verwalten wissenschaftlicher Publikationen und Lesezeichen
PUMA hilft Ihnen beim Verwalten Ihrer Publikationen und Lesezeichen, bei der Zusammenarbeit mit Kollegen und beim Finden neuer interessanter Sachen für Ihre Forschung.
P. Ebel, F. Brokhausen, und A. Vogelsang. 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Seite 141–150. New York, NY, USA, Association for Computing Machinery, (2020)
T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, und M. Steinmetz. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, Seite 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
