Serge Khersonsky

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

2 David Garlan, Serge Khersonsky, Jung Soo Kim: Model Checking Publish-Subscribe Systems. SPIN 2003: 166-180

2000

1 David Garlan, Serge Khersonsky: Model Checking Implicit-Invocation Systems. IWSSD 2000: 23-30

	2003
2		David Garlan, Serge Khersonsky, Jung Soo Kim: Model Checking Publish-Subscribe Systems. SPIN 2003: 166-180
	2000
1		David Garlan, Serge Khersonsky: Model Checking Implicit-Invocation Systems. IWSSD 2000: 23-30

Coauthor Index