Adnan Aziz

From MaRDI portal
Person:698099

Available identifiers

zbMath Open aziz.adnanMaRDI QIDQ698099

List of research outcomes





PublicationDate of PublicationType
Equivalences for fair Kripke structures2019-04-29Paper
Model-checking continuous-time Markov chains2017-06-13Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
Constraint-Based Verification2006-04-13Paper
https://portal.mardi4nfdi.de/entity/Q48175342004-09-24Paper
An abstraction algorithm for the verification of level-sensitive latch-based netlists2004-03-15Paper
BDD based procedures for a theory of equality with uninterpreted functions2003-05-11Paper
Formula-dependent equivalence for compositional CTL model checking2002-09-18Paper
https://portal.mardi4nfdi.de/entity/Q27540702001-11-11Paper

Research outcomes over time

This page was built for person: Adnan Aziz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:698099&oldid=7475546"
Powered by MediaWiki