Author Info
Name
Affiliation
Papers
BENNY HÖCKNER
Brandenburg Tech Univ Cottbus, Inst Comp Sci & Informat & Media Technol, D-03013 Cottbus, Germany
3
Collaborators
Citations 
PageRank 
7
5
1.25
Referers 
Referees 
References 
15
41
12
Title
Citations
PageRank
Year
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts.00.342015
Formal Verification of Software for the Contiki Operating System Considering Interrupts30.372015
Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms.20.542014