Anton Chepurov

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2009
j1		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
c1		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

Last update Sun May 19 10:27:48 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page