Items where Author is "Tejfel, Máté"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

Lukács, Dániel and Tejfel, Máté and Pongrácz, Gergely: Keeping P4 switches fast and fault-free through automatic verification. Acta cybernetica, (24) 1. pp. 61-81. (2019)

Tejfel, Máté and Horváth, Zoltán and Kozsik, Tamás: Extending the Sparkle Core language with object abstraction. Acta cybernetica, (17) 2. pp. 419-445. (2005)

This list was generated on 2019. szeptember 19. 07:02:26 CEST.