Bengi Karaçali Coauthor index DBLP Vis pubzone.org

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

DBLP keys2004
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengi Karaçali, Chandra M. R. Kintala: Scalable Network Monitoring for Multimedia Applications in Enterprise Networks. ICCCN 2004: 329-334
2001
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKuo-Chung Tai, Bengi Karaçali: On Godefroid's Stateless Search Technique for Testing Concurrent Programs. ISADS 2001: 77-84
2000
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk: Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. DSN 2000: 315-
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengi Karaçali, Kuo-Chung Tai: Model Checking Based on Simultaneous Reachability Analysis. SPIN 2000: 34-53
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengi Karaçali, Kuo-Chung Tai: Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs. PDSE 1999: 97-

Coauthor Index

1Chandra M. R. Kintala [5]
2Kuo-Chung Tai [1] [2] [3] [4]
3Mladen A. Vouk [3]

Colors in the list of coauthors

Copyright © Tue Dec 1 12:01:14 2009 by Michael Ley (ley@uni-trier.de)