|
|
(2 intermediate revisions by 2 users not shown) |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4817539 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4804925 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: CAAP '90. 15th colloquium on trees in algebra and programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3859267 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4846257 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4535007 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2754102 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Permutation rewriting and algorithmic verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Mathematical foundations of computer science 1998. 23rd international symposium, MFCS '98. Brno, Czech Republic, August 24--28, 1998. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Graph-Based Algorithms for Boolean Function Manipulation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Symbolic model checking: \(10^{20}\) states and beyond / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4223065 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Some Properties of Conversion / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Theoretical computer science. 5th GI-Conference, Karlsruhe, March 23--25, 1981 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: CAV '94, Computer aided verification. 6th International Conference, Stanford, CA, USA, June 21--23, 1994. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4079524 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On Relations Defined by Generalized Finite Automata / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15--19, 2000. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Efficient algorithms for pre* and post* on interprocedural parallel flow graphs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An implementation of an efficient algorithm for bisimulation equivalence / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4223067 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4474215 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4847003 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5576254 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 -- April 2, 2000. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4037383 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3862379 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer aided verification. 10th international conference, CAV'98, Vancouver, BC, Canada, June 28 -- July 2, 1998. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8--12, 2001. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4518896 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Symbolic model checking with rich assertional languages / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5581665 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4251913 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Forward and backward simulations. II: Timing-based systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3992568 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On theories with a combinatorial definition of 'equivalence' / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Transductions des langages de Chomsky / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Three Partition Refinement Algorithms / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3907077 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2754094 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: CONCUR '98. Concurrency theory. 9th international conference, Nice, France, September 8--11, 1998. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Sur les rélations rationnelles entre monoides libres / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Regular Model Checking using Widening Techniques / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3999156 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Iterated a-NGSM maps and Γ systems / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1016/s1567-8326(02)00025-5 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W4210787360 / rank |
| | Normal rank |