Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
University Grant A99/15
[go: Go Back, main page]
 
University funded project A99/15:
Infinite-State Model-Checking

Investigators: Michael Leuschel and Ulrich Ultes-Nitsche.
Research Fellow: Stefan Gruner.

Under Construction.
 
Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, Southampton, SO17 1BJ, United Kingdom

(c) 2000 Ulrich Ultes-Nitsche