Pani, Thomas Person Individualisierte Person
JSON

Dissertation TU Wien 2022 Fakultät für Informatik

URI https://d-nb.info/gnd/1275660088
EntitätstypIndividualisierte Person
GND-Nummer1275660088
Beruf oder BeschäftigungInformatiker 
AffiliationTechnische Universität Wien. Fakultät für Informatik 
Homepagehttps://thpani.net/
LändercodeÖsterreich 
WirkungsortWien 
GeschlechtMännlich 
Wirkungsdaten2022-
TitelangabeThread-modular verification of parameterized programs
Siehe auchhttps://orcid.org/0000-0002-4434-0248 | Deutsche Nationalbibliothek (DNB) Deutsche Nationalbibliothek (DNB) | Virtual International Authority File (VIAF) Virtual International Authority File (VIAF)

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

NRW-Wappen   lobid-gnd | ein Dienst des hbz Gewährleistung | Impressum | Datenschutz | Mastodon  GitHub  Blog