Anton Chepurov

	2009
2		Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar: PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams. J. Electronic Testing 25(6): 289-300 (2009)
	2008
1		Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar: Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation. European Test Symposium 2008: 61-68

Coauthor Index

1	Maksim Jenihhin	[1] [2]
2	Jaan Raik	[1] [2]
3	Raimund Ubar	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page