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

Sentot Kromodimoeljo (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels: An EVES Data Abstraction Example. FME 1993: 578-596
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels: The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 349-373
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink: Eves System Description. CADE 1992: 771-775
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink: EVES: An Overview. VDM Europe (1) 1991: 389-405
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Craigen, Sentot Kromodimoeljo, Irwin Meisels, A. Neilson, Bill Pase, Mark Saaltink: m-EVES: A Tool for Verifying Software. ICSE 1988: 324-333

Selection of 5 from 6 records - Sentot Kromodimoeljo has 5 coauthors

Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)