2 Ergebnisse für: liacs
-
Andreas Brandstädt - Google Scholar Citations
https://scholar.google.de/citations?user=HLsyih4AAAAJ
Keine Beschreibung vorhanden.
-
ISoLA 2008 - 3rd International Symposium on Leveraging Applications of Formal Methods
http://www.cs.uni-potsdam.de/isola2008/?id=program#a16
Keine Beschreibung vorhanden.