Theoretical Aspects of Computing – ICTAC 2011 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642232824, 9783642232831
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computing Preconditions and Postconditions of While Loops

2011 ◽  
pp. 173-193 ◽  
Author(s):  
Olfa Mraihi ◽  
Wided Ghardallou ◽  
Asma Louhichi ◽  
Lamia Labed Jilani ◽  
Khaled Bsaies ◽  
...  

scholarly journals Energy Games in Multiweighted Automata

2011 ◽  
pp. 95-115 ◽  
Author(s):  
Uli Fahrenberg ◽  
Line Juhl ◽  
Kim G. Larsen ◽  
Jiří Srba
Keyword(s):  
Energy Games

A Framework for Instantiating Pedagogic mLearning Objects Applications

2011 ◽  
pp. 194-217 ◽  
Author(s):  
Paul Birevu Muyinda ◽  
Jude T. Lubega ◽  
Kathy Lynch ◽  
Theo van der Weide

scholarly journals Axiomatizing Weak Ready Simulation Semantics over BCCSP

2011 ◽  
pp. 7-24 ◽  
Author(s):  
Luca Aceto ◽  
David de Frutos Escrig ◽  
Carlos Gregorio-Rodríguez ◽  
Anna Ingolfsdottir
Keyword(s):  
Simulation Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document