Geodesic

Volume 7 (2013) no. 1

Sommaire

Approximate Model Checking of Real-Time Systems for Linear Duration Invariants
p. 1-12
Orthogonal Resolutions and Latin Squares
p. 13-24
Remarks on the Balaban Index
p. 25-34
JSONYA/FN: Functional Computation in JSON
p. 35-72
Construction of Optimal Linear Codes by Geometric Puncturing
p. 73-80
An Open Virtual World for Professional Development
p. 81-100