Descriptional Complexity of Formal Systems - 9783642316227

Descriptional Complexity of Formal Systems : 14th International Workshop, Dcf...

Kallel - Risks and Security of Internet and Systems 14th Internation - X555z

Alpuente - Formal Methods for Industrial Critical Systems 14th Inter - X555z

Giese - Formal Techniques for Distributed Systems Joint 14th IFIP WG - X555z

De Nicola - Software Engineering and Formal Methods 14th Internation - X555z

Jirskov - Descriptional Complexity of Formal Systems 22nd Internat - X555z