Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems von Mennicke, Roy

Volltext

XML tree structure compression using RePair von Lohrey, Markus, Maneth, Sebastian, Mennicke, Roy

Volltext

The Complexity of Model Checking Multi-Stack Systems von Bollig, Benedikt, Kuske, Dietrich, Mennicke, Roy

Volltext

Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems von Mennicke, Roy

Volltext

Model Checking Concurrent Recursive Programs Using Temporal Logics von Mennicke, Roy

Volltext

The Complexity of Model Checking Multi-stack Systems von Bollig, Benedikt, Kuske, Dietrich, Mennicke, Roy

Volltext

Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems von Mennicke, Roy

Volltext

Model Checking Concurrent Systems Using Temporal Logics von Mennicke, Roy

Volltext bestellen

Tree Structure Compression with RePair von Lohrey, M, Maneth, S, Mennicke, R

Volltext

Tree structure compression with RePair von Lohrey, Markus, Maneth, Sebastian, Mennicke, Roy

Volltext bestellen

Tree structure compression with RePair von Lohrey, Markus, Maneth, Sebastian, Mennicke, Roy

Volltext

Focused Maternal Ultrasound by Midwives in Rural Zambia von Kimberly, Heidi Harbison, Murray, Alice, Mennicke, Maria, Liteplo, Andrew, Lew, Jason, Bohan, J. Stephen, Tyer-Viola, Lynda, Ahn, Roy, Burke, Thomas, Noble, Vicki E

Volltext