136 search results - page 28 / 28 » Crossing and Weighted Crossing Number of Near-Planar Graphs |
RTCSA
1999
IEEE
13 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...