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
Number of items: 2.

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. augusztus 22. 05:53:58 CEST.