Publications

Skip Navigation Links.
Recently Published
Expand per documenttypeper documenttype
Expand per Unitper Unit
Expand per Clusterper Cluster

Search for publications:


Limit search to the fields

Publications from author Mei Lie,  
Mei Lie, ;
An integrated automated support for KADS formal model development
ECN-R--93-015 EN 1993; 51 pag.