Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
31 results · clear filters Sort: newest oldest name
- International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)Computer and information sciencese12hfee
- International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)Computer and information sciencese12hfdg
- International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)Computer and information sciencese12hfcj
- International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ)Computer and information sciencese12hfbm
- International Conference on Abstract State Machines, Alloy, B and Z (ABZ)Computer and information sciencese12hfap
- International Conference on Abstract State Machines, B and Z (ABZ)Computer and information sciencese12hf9r
- International Conference of B Users (B)Computer and information sciencese12hf8t
- International Conference of B and Z Users (ZB)Computer and information sciencese12hf7w
- Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France (ASM)Computer and information sciencese10rhgv
- International Workshop on Abstract State Machines (ASM)Computer and information sciencese12hf6y
- Abstract State Machines (ASM)Computer and information sciencese12htre
- Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. ProceedingsComputer and information sciencese10rhfy
- International Workshop on Abstract State Machines (ASM)Computer and information sciencese12hf50
- Abstract State Machines (ASM)Computer and information sciencese12htqg
- Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, ProceedingsComputer and information sciencese10rhe0
- International Conference of B and Z Users (ZB)Computer and information sciencese12hf42
- Abstract State Machines (ASM)Computer and information sciencese12htpj
- Abstract State Machines (ASM)Computer and information sciencese12htnm
- International Conference of B and Z Users (ZB)Computer and information sciencese12hf34
- Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings (ASM)Computer and information sciencese10rhd2
- Abstract State Machines (ASM)Computer and information sciencese12htmp
- International Conference of B Users (B)Computer and information sciencese12hf26
- Abstract State Machines (ASM)Computer and information sciencese12htkr
- Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, ProceedingsComputer and information sciencese10rhhs
- International Conference of Z Users (ZUM)Computer and information sciencese12hf18
As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s10d7jr