Lukas Panneke

A02 3-338 (» Adresse und Lageplan)

Sekretariat

Marion Bramkamp

Ulhornsweg 84 - Raum A2 2-228

+49 441 798-2426

Lukas Panneke

Veröffentlichungen

  • N. Würdemann, T. Chatain, S. Haar, und L. Panneke, "Taking Complete Finite Prefixes To High Level, Symbolically" Fundam. Informaticae, vol. 192, iss. 3-4.
    doi: 10.3233/FI-242196
  • N. Würdemann, T. Chatain, S. Haar, und L. Panneke, "Taking Complete Finite Prefixes To High Level, Symbolically" CoRR, vol. abs/2311.11443.
    doi: 10.48550/ARXIV.2311.11443
(Stand: 08.10.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page