dblp.uni-trier.dewww.uni-trier.de

Konstantinos Mokos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
2EELeo Freitas, Konstantinos Mokos, Jim Woodcock: Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. ICECCS 2007: 290-298
2004
1EEDionysios Politis, Dimitrios Margounakis, Konstantinos Mokos: Visualizing the Chromatic Index of Music. WEDELMUSIC 2004: 102-109

Coauthor Index

1Leo Freitas (Leonardo Freitas) [2]
2Dimitrios Margounakis [1]
3Dionysios Politis [1]
4Jim Woodcock (J. C. P. Woodcock) [2]

Colors in the list of coauthors

Copyright © Wed May 28 02:56:03 2008 by Michael Ley (ley@uni-trier.de)