Open Access 01.10.2011 | Regular Paper
An executable object-oriented semantics and its application to firewall verification
Erschienen in: Software and Systems Modeling | Ausgabe 4/2011
Open Access 01.10.2011 | Regular Paper
Erschienen in: Software and Systems Modeling | Ausgabe 4/2011