Primary tabs

Most recent publications

In NOMS 2016 IEEE/IFIP Network Operations and Management Symposium, 2016.
Proceedings, refereed
2016
In The 41st IEEE Conference on Local Computer Networks (LCN). IEEE, 2016.
Proceedings, refereed
2016
In Proceedings CompCon 1992. San Fransisco, 1992.
Proceedings, refereed
1992
In Computer Aided Verification, 3rd International Workshop (CAV'91). Lecture Notes in Computer Science. Springer-Verlag, 1992.
Proceedings, refereed
1992

Find publication

Status

Export 4 results:
2016

Proceedings, refereed

In NOMS 2016 IEEE/IFIP Network Operations and Management Symposium, 2016.
Status: Published
In The 41st IEEE Conference on Local Computer Networks (LCN). IEEE, 2016.
Status: Published
1992

Proceedings, refereed

In Proceedings CompCon 1992. San Fransisco, 1992.
Status: Published
In Computer Aided Verification, 3rd International Workshop (CAV'91). Lecture Notes in Computer Science. Springer-Verlag, 1992.
Status: Published