Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Kazuhiro Ogata 0001, Masahiro Nakano, Masaki Nakamura 0001, Kokichi Futatsugi |
Chocolat/SMV: A Translator from CafeOBJ into SMV. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
77 | Jack Corley, Dan Lejerskar |
Simulation for emergency response: homeland defense center network - capitalizing on simulation, modeling and visualization for emergency preparedness, response and mitigation. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
64 | David Gregg, Colm McSweeney, Ciarán McElroy, Fergal Connor, Séamas McGettrick, David Moloney, Dermot Geraghty |
FPGA based Sparse Matrix Vector Multiplication using Commodity DRAM Memory. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu 0001 |
Mapping Template Semantics to SMV. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Charles Pecheur, Reid G. Simmons |
From Livingstone to SMV. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
53 | Dorel Lucanu, Gabriel Ciobanu |
Model Checking for Object Specifications in Hidden Algebra. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV |
52 | Devinder Thapa, Sang C. Park, Chang Mok Park, Gi-Nam Wang |
Modeling, verification, and implementation of PLC program using timed-MPSG. |
SCSC |
2007 |
DBLP BibTeX RDF |
modeling and verification (M&V), symbolic model verification (SMV), timed-MPSG (message based part state graph), programmable logic controller (PLC) |
51 | Tie Qi Chen, Jianxin Zhang, Youning Zhou, Yi Lu Murphey |
A Smart Machine Vision System for PCB Inspection. |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
|
51 | Hiromi Hiraishi |
Verification of deadlock free property of high level robot control. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties |
51 | Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák |
Verifying VHDL Designs with Multiple Clocks in SMV. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Thomas Tuerk, Klaus Schneider 0001, Mike Gordon |
Model Checking PSL Using HOL and SMV. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong |
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli |
AnWeb: a system for automatic support to web application verification. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
web application, computation tree logic |
38 | Michael Baldamus, Jochen Schröder-Babo |
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Jan Philipps, Oscar Slotosch |
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
model checking, formal methods, software development environments, software development tools |
38 | Sören Preibusch, Florian Kammüller |
Checking the TWIN Elevator System by Translating Object-Z to SMV. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Ahmed Sameh, Tarek A. El-Ghazawi, Yaacov Yesha |
Modeling contention of sparse-matrix-vector multiplication (SMV) in three parallel programming paradigms. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
LoPC, LogPG, MPI, openMP, DSM, LogP |
38 | Yuqing Zhang 0001, Suping Jia |
Common Program Analysis of Two-Party Security Protocols Using SMV. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Nadjet Kamel |
Utilisation de SMV pour la vérification de propriétés d'IHM multimodales. |
IHM |
2004 |
DBLP DOI BibTeX RDF |
formal methods, multimodal interaction |
38 | Meine van der Meulen |
Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala |
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Claudio de la Riva, Javier Tuya, José Ramón de Diego |
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Florian Kammüller, Sören Preibusch |
An industrial application of symbolic model checking. |
Inform. Forsch. Entwickl. |
2008 |
DBLP DOI BibTeX RDF |
Schlagworte Symbolisches Model Checking, Mechanische Verifikation, Industrielle Fallstudie, Zustandsbasierte Systeme, Sicherheit, SMV |
28 | Mohammad Behdadfar, Hossein Saidi 0001 |
The CPBT: A Method for Searching the Prefixes Using Coded Prefixes in B-Tree. |
Networking |
2008 |
DBLP DOI BibTeX RDF |
LMP, LPM, insert, delete, lookup, SMV |
28 | Constantinos Bartzis, Tevfik Bultan |
Efficient BDDs for bounded arithmetic constraints. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Model checking, BDD, Integer arithmetic, SMV |
28 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner |
XFM: An incremental methodology for developing formal models. |
ACM Trans. Design Autom. Electr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV |
28 | Paul Ammann, Paul E. Black |
A Specification-Based Coverage Metric to Evaluate Test Sets. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Specification, Coverage, Test Sets, SCR, Test Metric, SMV |
26 | Kamrul Hasan Talukder, Koichi Harada |
Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Verification Analysis, Concurrency, Wavelet Transform, Image Compression, Message Sequence Chart |
26 | Mark Reith, Jianwei Niu 0001, William H. Winsborough |
Apply Model Checking to Security Analysis in Trust Management. |
ICDE Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Nazareno Aguirre, Germán Regis, T. S. E. Maibaum |
Verifying Temporal Properties of CommUnity Designs. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jen-Chieh Ou, Daniel G. Saab, Qiang Qiang, Jacob A. Abraham |
Reducing verification overhead with RTL slicing. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
verification, test, CAD |
26 | Yanyan Xu 0001, Wei Chen 0018, Liang Xu, Wenhui Zhang |
Evaluation of SAT-based Bounded Model Checking of ACTL Properties. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager |
Model checker aided design of a controller for a wafer scanner. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization |
26 | Konrad Malkowski, Ingyu Lee, Padma Raghavan, Mary Jane Irwin |
On improving performance and energy profiles of sparse scientific applications. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen |
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. |
WINE |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Lijun Wu, Kaile Su, Qingliang Chen |
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. |
CIS (1) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Stéphane Klein, Georg Frey, Mark Minas |
PLC Programming with Signal Interpreted Petri Nets. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Hannah Harris, Mark Ryan 0001 |
Theoretical Foundations of Updating Systems. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
26 | José Creissac Campos |
Using Task Knowledge to Guide Interactor Specifications Analysis. |
DSV-IS |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Sangjun Lee, Dongseop Kwon, Sukho Lee |
Efficient Similarity Search for Time Series Data Based on the Minimum Distance. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Paritosh K. Pandya |
Model Checking CTL*[DC]. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno |
Automatic Verification of Fault Tolerance Using Model Checking. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Gihwon Kwon |
Rewrite rules and Operational Semantics for Model Checking UML Statecharts. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Giuseppe Del Castillo, Kirsten Winter |
Model Checking Support for the ASM High-Level Language. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Edmund M. Clarke, Steven M. German, Yuan Lu 0004, Helmut Veith, Dong Wang |
Executable Protocol Specification in ESL. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Broy, Franz Huber, Bernhard Schätz |
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. |
Inform. Forsch. Entwickl. |
1999 |
DBLP DOI BibTeX RDF |
Software Engineering Werkzeuge, Entwicklung verteilter und eingebetteter Systeme, formale Methoden und Techniken, Prototyping |
26 | William Chan 0001, Richard J. Anderson, Paul Beame, Steve Burns 0002, Francesmary Modugno, David Notkin, Jon Damon Reese |
Model Checking Large Software Specifications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking |
26 | Yirng-An Chen, Randal E. Bryant |
Verification of Floating-Point Adders. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Adam L. Turk, Scott T. Probst, Gary J. Powers |
Verification of a Chemical Process Leak Test Procedure. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Amir Pnueli, Elad Shahar |
A Platform for Combining Deductive with Algorithmic Verification. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Richard J. Anderson, Paul Beame, Steve Burns 0002, William Chan 0001, Francesmary Modugno, David Notkin, Jon Damon Reese |
Model Checking Large Software Specifications. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Ásgeir Th. Eiríksson, Kenneth L. McMillan |
Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Yiyu Yao |
Human-machine co-intelligence through symbiosis in the SMV space. |
Appl. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Yiyu Yao |
Symbols-Meaning-Value (SMV) space as a basis for a conceptual model of data science. |
Int. J. Approx. Reason. |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Viktor Shatrov, Valeriy Vyatkin |
Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. |
INDIN |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Weiwei Li, Ning Wang 0003 |
Transforming the SMV model into MMV model based on the characteristics of wavelet coefficients. |
IET Signal Process. |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Hector Leon, Carlos Montez, Marcelo Ricardo Stemmer, Francisco Vasques |
Simulation models for IEC 61850 communication in electrical substations using GOOSE and SMV time-critical messages. |
WFCS |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Chungsoo Lim, Joon-Hyuk Chang |
Efficient implementation techniques of an SVM-based speech/music classifier in SMV. |
Multim. Tools Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. |
TrustCom/BigDataSE/ISPA (3) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. |
SETTA |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Ji-Hyun Song, Hongsub An, Sangmin Lee |
Speech/Music Classification Enhancement for 3GPP2 SMV Codec Based on Deep Belief Networks. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
An Operational Semantics for Activity Diagrams using SMV. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
26 | David Sounthiraraj, Justin Sahs, Garret Greenwood, Zhiqiang Lin, Latifur Khan |
SMV-Hunter: Large Scale, Automated Detection of SSL/TLS Man-in-the-Middle Vulnerabilities in Android Apps. |
NDSS |
2014 |
DBLP BibTeX RDF |
|
26 | Andres Viveros-Wacher, Ricardo Alejos, Liliana Alvarez, Israel Diaz-Castro, Brenda Marcial, Gaston Motola-Acuna, Edgar-Andrei Vega-Ochoa |
SMV methodology enhancements for high speed I/O links of SoCs. |
VTS |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Abdelhay Haqiq, Bouchaib Bounabat |
Verification of multi decisional reactive agent using SMV model checker. |
IDT |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Junya Nakamura 0003, Taichi Takahashi, Yasuhiro Takaki |
Enlargement of viewing freedom of reduced-view SMV display. |
SD&A |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Dmitri Perelman, Anton Byshevsky, Oleg Litmanovich, Idit Keidar |
SMV: Selective Multi-Versioning STM. |
DISC |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Tao He, Huazhong Li, Guorong Qin |
Model Checking Analysis of Observational Transition System with SMV. |
ICICA (2) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom |
Phylogenetic Analysis Using an SMV Tool. |
PACBB |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Sang-Kyun Kim, Joon-Hyuk Chang |
Discriminative Weight Training for Support Vector Machine-Based Speech/Music Classification in 3GPP2 SMV Codec. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Samah Hassan, Mohamed Taher, Ayman M. Wahba |
Mapping SMV models to event-B models. |
IDT |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Di Nola, Tommaso Flaminio |
Generating the Variety of SMV-Algebras. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
hyper real states, MV-algebras, internal states |
26 | Kwang Yong Koh, Poong Hyun Seong |
SMV model-based safety analysis of software requirements. |
Reliab. Eng. Syst. Saf. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Sang-Kyun Kim, Joon-Hyuk Chang |
Speech/Music Classification Enhancement for 3GPP2 SMV Codec Based on Support Vector Machine. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kye-Hwan Lee, Joon-Hyuk Chang |
Acoustic Environment Classification Based on SMV Speech Codec Parameters for Context-Aware Mobile Phone. |
IEICE Trans. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Ji-Hyun Song, Joon-Hyuk Chang |
Efficient Implementation of Voiced/Unvoiced Sounds Classification Based on GMM for SMV Codec. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Julio C. Peralta, Thierry Gautier |
Towards SMV Model Checking of Signal (multi-clocked) Specifications. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski |
Modelling and Verification of Multiple UAV Mission Using SMV |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Ji-Hyun Song, Kye-Hwan Lee, Joon-Hyuk Chang, Jong Kyu Kim, Nam Soo Kim |
Analysis and Improvement of Speech/Music Classification for 3GPP2 SMV Based on GMM. |
IEEE Signal Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Erh-Wen Hu, Cyril Ku, Andrew Russo, Bogong Su, Jian Wang 0046 |
New DSP Benchmark based on Selectable Mode Vocoder (SMV). |
CDES |
2006 |
DBLP BibTeX RDF |
|
26 | Yuqing Zhang, Chunling Wang, Shimin Wei |
Using SMV for Cryptographic Protocol Analysis: A Case Study. |
FCS |
2005 |
DBLP BibTeX RDF |
|
26 | Jianzhou Zhao, Jinian Bian, Weimin Wu |
Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs. |
CSCWD (2) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jesús López-Fidalgo, Chiara Tommasi |
Construction of MV- and SMV-optimum designs for binary response models. |
Comput. Stat. Data Anal. |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong |
Verification method for the FBD-style design specification using SDT and SMV. |
IASTED Conf. on Software Engineering |
2004 |
DBLP BibTeX RDF |
|
26 | Yuan Lu, Mike Jorda |
Verifying a gigabit ethernet switch using SMV. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
Verification |
26 | Adam H. Li |
RTP Payload Format for Enhanced Variable Rate Codecs (EVRC) and Selectable Mode Vocoders (SMV). |
RFC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Viktor Schuppan, Armin Biere |
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
IEEE 1394 FireWire, Model checking, Formal methods, Protocol verification |
26 | Duc-Duy Vo, Claude Petitpierre |
A New Multi-Tasking Concept Supported by SMV. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
26 | Seongho Seo, Dalwon Jang, Sunil Lee, Chang D. Yoo |
A novel transcoding algorithm for SMV and g.723.1 speech coders via direct parameter transformation. |
INTERSPEECH |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Dalwon Jang, Seongho Seo, Sunil Lee, Chang D. Yoo |
A novel rate selection algorithm for transcoding CELP-type codec and SMV. |
INTERSPEECH |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf |
Solving QBF by SMV. |
KR |
2002 |
DBLP BibTeX RDF |
|
26 | Cindy Eisner |
Model checking the garbage collection mechanism of SMV. |
Workshop on Software Model Checking @ CAV |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Yuqing Zhang, Chunling Wang, Jianping Wu, Xing Li 0001 |
Using SMV for Cryptographic Protocol Analysis: A Case Study. |
ACM SIGOPS Oper. Syst. Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Yang Gao, Eyal Shlomot, Adil Benyassine, Jes Thyssen, Huan-yu Su, Carlo Murgia |
The SMV algorithm selected by TIA and 3GPP2 for CDMA applications. |
ICASSP |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Hiromi Hiraishi |
Yet more image computations for SMV, the symbolic model verifier. |
Syst. Comput. Jpn. |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Malte Plath, Mark Dermot Ryan |
The feature construct for SMV: Semantics. |
FIW |
2000 |
DBLP BibTeX RDF |
|
26 | Sébastien Bornot, Ralf Huuck, Ben Lukoschus |
Verification of Sequential Function Charts Using SMV. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
13 | Sujit Kumar Chakrabarti, Srihari Sukumaran |
Using spreadsheets for finite state modelling. |
ISEC |
2009 |
DBLP DOI BibTeX RDF |
finite state machines, spreadsheets, sal |
13 | Md. Rafiqul Islam 0001, Wanlei Zhou 0001, Morshed U. Chowdhury |
MVGL Analyser for Multi-classifier Based Spam Filtering System. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Moshe Y. Vardi |
Model Checking as A Reachability Problem. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|