|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algebraic Stuttering Simulations |
Martí-Oliet, Narciso |
2008 |
206 | C |
p. 91-110 20 p. |
artikel |
|
| 2 | An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation |
Alpuente, M. |
2008 |
206 | C |
p. 3-21 19 p. |
artikel |
|
| 3 | A New Proposal Of Quasi-Solved Form For Equality Constraint Solving |
Álvez, Javier |
2008 |
206 | C |
p. 23-40 18 p. |
artikel |
|
| 4 | Architectural Connectors for Sequence Diagrams |
Orejas, Fernando |
2008 |
206 | C |
p. 111-131 21 p. |
artikel |
|
| 5 | Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers |
Lucas, Salvador |
2008 |
206 | C |
p. 75-90 16 p. |
artikel |
|
| 6 | Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations |
de Frutos Escrig, David |
2008 |
206 | C |
p. 41-58 18 p. |
artikel |
|
| 7 | Functions and Lazy Evaluation in Prolog |
Rodríguez-Hortalá, Juan |
2008 |
206 | C |
p. 153-174 22 p. |
artikel |
|
| 8 | Preface |
Pimentel, Ernesto |
2008 |
206 | C |
p. 1-2 2 p. |
artikel |
|
| 9 | Systematic Semantic Tableaux for PLTL |
Gaintzarain, J. |
2008 |
206 | C |
p. 59-73 15 p. |
artikel |
|
| 10 | Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence |
Pérez Velasco, Pedro Pablo |
2008 |
206 | C |
p. 133-152 20 p. |
artikel |
10 gevonden resultaten