|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 614 occurrences of 483 keywords
|
|
|
Results
Found 1772 publication records. Showing 1772 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
68 | Harvey L. Davies |
Infinity Arithmetic, Comparisons and J. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the 1995 International Conference on Applied Programming Languages, APL 1995, San Antonio, Texas, USA, June 4-8, 1995., pp. 28-34, 1995, ACM, 0-89791-722-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
NaN, error-trapping, indeterminate, infinity arithmetic, APL, comparison, precision, arithmetic, tolerance, comparative, J, limits, infinity, IEEE 754 Standard |
63 | Andreas Schmid 0002, Olaf Kandel, Christoph Steigner |
Avoiding Counting to Infinity in Distance Vector Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (1) ![In: Networking - ICN 2001, First International Conference, Colmar, France, July 9-13, 2001 Proceedings, Part 1, pp. 657-672, 2001, Springer, 3-540-42302-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Routing Information Protocol, Counting to Infinity, Internet, Protocol Design |
58 | Chefi Ketata, Mysore G. Satish, M. Rafiqul Islam |
The Meaningful Infinity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, pp. 206, 2006, IEEE Computer Society, 0-7695-2731-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Philippe Schnoebelen |
Preface: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003, pp. 1, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Khaled Elmeleegy, Alan L. Cox, T. S. Eugene Ng |
Understanding and mitigating the effects of count to infinity in Ethernet networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(1), pp. 186-199, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
spanning tree protocols, reliability, ethernet, Ethernet |
49 | Fei Shen, Han Wang 0001 |
A linear algorithm to estimate the plane of infinity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Seventh International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, Singapore, 2-5 December 2002, Proceedings, pp. 1326-1331, 2002, IEEE, 981-04-8364-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Richard I. Hartley, Lourdes de Agapito, Ian D. Reid 0001, Eric Hayman |
Camera Calibration and the Search for Infinity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Proceedings of the International Conference on Computer Vision, Kerkyra, Corfu, Greece, September 20-25, 1999, pp. 510-517, 1999, IEEE Computer Society, 0-7695-0164-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
46 | Mircea Lazar, Andrej Jokic |
On infinity norms as Lyapunov functions for piecewise affine systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 131-140, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
infinity norms, output feedback, stability, lyapunov methods, piecewise affine systems |
46 | Jyotirmay Gadewadikar, Frank L. Lewis, Kamesh Subbarao, Kemao Peng, Ben M. Chen |
H-Infinity Static Output-feedback Control for Rotorcraft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 54(4), pp. 629-646, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
H-Infinity control, Unmanned aerial vehicles |
40 | Alvin Cheung, Tyrone Grandison, Christopher M. Johnson, Stefan Schönauer |
Ïnfïnïty: a generic platform for application development and information sharing on mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiDE ![In: Sixth ACM International Workshop on Data Engineering for Wireless and Mobile Access, Mobide 2007, June 10, 2007, Beijing, China, Proceedings, pp. 25-32, 2007, ACM, 978-1-59593-765-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
collaboration, information sharing, privacy preservation, mobile middleware |
40 | Michael Beeson, Freek Wiedijk |
The Meaning of Infinity in Calculus and Computer Algebra Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 246-258, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Lukás Holík, Lorenzo Clemente (eds.) |
Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
37 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
Zenoness for Timed Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013., pp. 35-47, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Oded Maler |
Algorithmic Verification of Continuous and Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013., pp. 48-69, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Johann Schuster, Markus Siegle |
Lattice structures for bisimilar Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013., pp. 1-15, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Gal Katz, Doron A. Peled |
Synthesis of Parametric Programs using Genetic Programming and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013., pp. 70-84, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Yu-Fang Chen 0001, Bow-Yaw Wang, Di-De Yen |
A Finite Exact Representation of Register Automata Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013., pp. 16-34, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Mohamed Faouzi Atig, Ahmed Rezine (eds.) |
Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infinity ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Parosh Aziz Abdulla, Richard Mayr |
Petri Nets with Time and Cost ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infinity ![In: Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012., pp. 9-24, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar |
Constraint-based reachability ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infinity ![In: Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012., pp. 25-43, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero |
On Consistency of Operational Transformation Approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infinity ![In: Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012., pp. 45-59, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Lukasz Fronc |
Effective Marking Equivalence Checking in Systems with Dynamic Process Creation ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infinity ![In: Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012., pp. 61-75, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Fang Yu 0001, Chao Wang (eds.) |
Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Christian Krause 0001, Holger Giese |
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011., pp. 64-78, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Doron A. Peled, Sven Schewe |
Practical Distributed Control Synthesis ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011., pp. 2-17, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Laurent Fribourg, Bertrand Revol, Romain Soulat |
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011., pp. 35-48, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Alex Spelten, Wolfgang Thomas, Sarah Winter |
Trees over Infinite Structures and Path Logics with Synchronization ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011., pp. 20-34, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Alberto Ciaffaglione |
A coinductive semantics of the Unlimited Register Machine ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011., pp. 49-63, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki |
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011., pp. 79-93, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Yu-Fang Chen 0001, Ahmed Rezine (eds.) |
Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Étienne André |
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010., pp. 91-99, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Nathalie Bertrand 0001, Christophe Morvan |
Probabilistic regular graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010., pp. 77-90, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers |
A Decidable Characterization of a Graphical Pi-calculus with Iterators ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010., pp. 47-61, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Stéphane Demri |
On Selective Unboundedness of VASS ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010., pp. 1-15, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Bernard Boigelot, Julien Brusten, Jean-François Degbomont |
Implicit Real Vector Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010., pp. 63-76, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Oded Maler, Kim G. Larsen, Bruce H. Krogh |
On Zone-Based Analysis of Duration Probabilistic Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010., pp. 33-46, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Hanifa Boucheneb, Kamel Barkaoui |
On interleaving in {P,A}-Time Petri nets with strong semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010., pp. 17-31, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Axel Legay (eds.) |
Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Peter Habermehl, Tomás Vojnar (eds.) |
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
37 | Christophe Morvan |
On external presentations of infinite graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009., pp. 23-35, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Bahareh Badban, Stefan Leue, Jan-Georg Smaus |
Automated Predicate Abstraction for Real-Time Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009., pp. 36-43, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Nguyen Van Tang |
A Tighter Bound for the Determinization of Visibly Pushdown Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009., pp. 62-76, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Florent Bouchy, Alain Finkel, Pierluigi San Pietro |
Dense-choice Counter Machines revisited ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009., pp. 3-22, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Laurent Fribourg, Étienne André |
An Inverse Method for Policy-Iteration Based Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009., pp. 44-61, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Peter Habermehl, Tomás Vojnar |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 1-3, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Ulrich Fahrenberg, Kim Guldstrand Larsen |
Discount-Optimal Infinite Runs in Priced Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 179-191, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili |
Verifying Multithreaded Recursive Programs with Integer Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 143-154, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek |
On Decidability of LTL+Past Model Checking for Process Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 105-117, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Sibylle B. Fröschle, Slawomir Lasota 0001 |
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 17-42, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Hanifa Boucheneb, Kamel Barkaoui |
Covering Steps Graphs of Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 155-165, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Emmanuelle Encrenaz, Alain Finkel |
Automatic Verification of Counter Systems With Ranking Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 85-103, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001 |
Universality of R-automata with Value Copying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 131-141, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Florent Bouchy, Alain Finkel, Arnaud Sangnier |
Reachability in Timed Counter Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 167-178, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Franck Pommereau, Raymond R. Devillers, Hanna Klaudel |
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 119-129, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Giorgio Delzanno, Roberto Montagna |
Deciding Reachability in Mobile Ambients with Name Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 5-15, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko |
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 57-72, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Mihaela Sighireanu, Tayssir Touili |
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 43-56, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Régis Gascon |
An Automata-based Approach for CTL* With Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 193-211, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Tomás Brázdil, Václav Brozek, Vojtech Forejt |
Branching-Time Model-Checking of Probabilistic Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 73-83, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Jirí Srba, Scott A. Smolka (eds.) |
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
37 | Julian C. Bradfield, Faron Moller (eds.) |
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
37 | Jirí Srba, Scott A. Smolka |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar |
Abstract Regular Tree Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 37-48, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Viktor Schuppan, Armin Biere |
Liveness Checking as Safety Checking for Infinite State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 79-96, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Paul C. Attie, Hana Chockler |
Automatic Verification of Fault-Tolerant Register Emulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 49-60, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Venkatesh Mysore, Bud Mishra |
Algorithmic Algebraic Model Checking III: Approximate Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 61-77, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Antonín Kucera 0001 |
Methods for Quantitative Analysis of Probabilistic Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 3-15, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek |
Refining the Undecidability Border of Weak Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 17-36, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Philippe Schnoebelen (eds.) |
Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![Elsevier The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
37 | Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker |
Inference of Timed Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 87-99, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Martin Kot, Zdenek Sawa |
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 49-60, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Ahmed Bouajjani, Axel Legay, Pierre Wolper |
Handling Liveness Properties in (omega-)Regular Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 101-115, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Jesse D. Bingham |
A New Approach to Upward-Closed Set Backward Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 37-48, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Peter Habermehl, Tomás Vojnar |
Regular Model Checking Using Inference of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 21-36, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata |
Closed, Open, and Robust Timed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 117-151, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Ahmed Bouajjani, Javier Esparza, Tayssir Touili |
Reachability Analysis of Synchronized PA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 153-178, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Ranko Lazic 0001 |
Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 3-19, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Ranko Lazic 0001, Thomas Christopher Newcomb, Bill Roscoe |
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 61-86, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Julian C. Bradfield, Faron Moller |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 1, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Antonín Kucera 0001, Richard Mayr (eds.) |
4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
37 | Giorgio Delzanno |
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003, pp. 21-33, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Jean-François Raskin, Laurent Van Begin |
Petri Nets with Non-blocking Arcs are Difficult to Analyze. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003, pp. 35-55, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Jérôme Leroux |
The Affine Hull of a Binary Automaton is Computable in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003, pp. 89-104, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Jirí Srba |
Completeness Results for Undecidable Bisimilarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003, pp. 5-19, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Olga Grinchtein, Martin Leucker |
Network Invariants for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003, pp. 57-74, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek |
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003, pp. 75-88, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Anders Møller |
Verifying Programs that Manipulate Pointers: (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003, pp. 3-4, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Antonín Kucera 0001, Richard Mayr |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002, pp. 107-108, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Thierry Cachat |
Uniform Solution of Parity Games on Prefix-Recognizable Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002, pp. 71-84, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Jitka Stríbrná, Ivana Cerná |
Modifications of Expansion Trees for Weak Bisimulation in BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002, pp. 19-39, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Chloe Rispal |
The synchronized graphs trace the context-sensitive languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002, pp. 55-70, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Thomas Colcombet |
Rewriting in the partial algebra of typed terms modulo AC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002, pp. 40-54, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Hans Hüttel |
Deciding Framed Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002, pp. 1-18, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin |
Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002, pp. 85-106, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Bernhard Steffen, Didier Caucal (eds.) |
First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![Elsevier The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
37 | Faron Moller (eds.) |
Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997 ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![Elsevier The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
37 | Alain Finkel, Bernard Willems, Pierre Wolper |
A direct symbolic approach to model checking pushdown systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997, pp. 27-37, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Géraud Sénizergues |
L(A) = L(B)? ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997, pp. 43, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Felice Balarin |
Verifying invariants by approximate image computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997, pp. 2-14, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Olaf Burkart |
Model checking rationally restricted right closures of recognizable graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997, pp. 25, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1772 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|